A Aralex Aachen research explorer

October 01, 2016 conference-paper

Consistency in Parametric Interval Probabilistic Timed Automata

International Symposium on Temporal Representation and Reasoning

DOI: 10.1109/time.2016.19 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 2 stored of 2

Parameter synthesis for Markov models: covering the parameter space
2024 Formal Methods in System Design article Computer Science Formal Methods in Verification Open access

20

citations
Parameter synthesis in Markov models
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Formal Methods in Verification Open access

27

citations

2 results

References 0