C. Baier
B. R. Haverkort
H. Hermanns
J.-P. Katoen
2003
Model-Checking Algorithms for Continuous-Time Markov Chains
IEEE Trans. Software Eng.
29
6
524–541
10.1109/TSE.2003.1205180
E. Bartocci
R. Grosu
P. Katsaros
C.R. Ramakrishnan
S.A. Smolka
2011
Model Repair for Probabilistic Systems
TACAS 2011
Lecture Notes in Computer Science
6605
Springer
326–340
10.1007/978-3-642-19835-9_30
M. Ceska
F. Dannenberg
M. Z. Kwiatkowska
N. Paoletti
2014
Precise Parameter Synthesis for Stochastic Biochemical Systems
Computational Methods in Systems Biology - 12th International Conference, CMSB
86–98
10.1007/978-3-319-12982-2_7
T. Chen
E. M. Hahn
T. Han
M. Kwiatkowska
H. Qu
L. Zhang
2013
Model Repair for Markov Decision Processes
Proc. 7th International Symposium on Theoretical Aspects of Software Engineering (TASE)
IEEE CS Press
85–92
10.1109/TASE.2013.20
C. Daws
2004
Symbolic and Parametric Model Checking of Discrete-Time Markov Chains
Theoretical Aspects of Computing - ICTAC 2004
Lecture Notes in Computer Science
3407
Springer Berlin Heidelberg
280–294
10.1007/978-3-540-31862-0_21
E. M. Hahn
H. Hermanns
B. Wachter
L. Zhang
2010
PARAM: A Model Checker for Parametric Markov Models
Computer Aided Verification, 22nd International Conference, CAV
660–664
10.1007/978-3-642-14295-6_56
E. M. Hahn
H. Hermanns
L. Zhang
2011
Probabilistic reachability for parametric Markov models
STTT
13
1
3–19
10.1007/s10009-010-0146-x
T. Han
J.-P. Katoen
A. Mereacre
2008
Approximate Parameter Synthesis for Probabilistic Time-Bounded Reachability
Proceedings of the 29th IEEE Real-Time Systems Symposium, RTSS
173–182
10.1109/RTSS.2008.19
J.-P. Katoen
I.S. Zapreev
E.M. Hahn
H. Hermanns
D.N. Jansen
2011
The Ins and Outs of the Probabilistic Model Checker MRMC
Perform. Eval.
68
2
90–104
10.1016/j.peva.2010.04.001
M. Z. Kwiatkowska
G. Norman
D. Parker
2011
PRISM 4.0: Verification of Probabilistic Real-Time Systems
Computer Aided Verification - 23rd International Conference, CAV
585–591
10.1007/978-3-642-22110-1_47
K. Mehlhorn
1984
Data Structures and Algorithms 2: Graph Algorithms and NP-Completeness
EATCS Monographs on Theoretical Computer Science
2
Springer
10.1007/978-3-642-69897-2
S. Pathak
E. Ábrahám
N. Jansen
A. Tacchella
J.-P. Katoen
2015
A Greedy Approach for the Efficient Repair of Stochastic Models
NASA Formal Methods - 7th Int. Symposium
295–309
10.1007/978-3-319-17524-9_21
B.-S.-K. Tati
M. Siegle
2015
Parameter and Controller Synthesis for Markov Chains with Actions and State Labels
2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15)
OASIcs
44
63–76
10.4230/OASIcs.SynCoP.2015.63