Sebastian Arming, Ezio Bartocci & Ana Sokolova (2017):
SEA-PARAM.
https://github.com/sarming/sea-param.
Christel Baier & Joost-Pieter Katoen (2008):
Principles of model checking.
MIT Press.
Ezio Bartocci, Luca Bortolussi, Laura Nenzi & Guido Sanguinetti (2015):
System design of stochastic models using robustness of temporal properties.
Theor. Comput. Sci. 587,
pp. 3–25,
doi:10.1016/j.tcs.2015.02.046.
Ezio Bartocci, Radu Grosu, Panagiotis Katsaros, C. R. Ramakrishnan & Scott A. Smolka (2011):
Model Repair for Probabilistic Systems.
In: Proc. TACAS 2011,
LNCS 6605,
pp. 326–340,
doi:10.1007/978-3-642-19835-9_30.
Luca Bortolussi, Dimitrios Milios & Guido Sanguinetti (2016):
Smoothed model checking for uncertain Continuous-Time Markov Chains.
Inf. Comput. 247,
pp. 235–253,
doi:10.1016/j.ic.2016.01.004.
Taolue Chen, Ernst Moritz Hahn, Tingting Han, Marta Z. Kwiatkowska, Hongyang Qu & Lijun Zhang (2013):
Model Repair for Markov Decision Processes.
In: Proc. TASE 2013.
IEEE Computer Society,
pp. 85–92,
doi:10.1109/TASE.2013.20.
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala & Ufuk Topcu (2017):
Sequential Convex Programming for the Efficient Verification of Parametric MDPs.
In: Proc. TACAS 2017,
LNCS 10206,
pp. 133–150,
doi:10.1007/978-3-662-54580-5_8.
Conrado Daws (2005):
Symbolic and Parametric Model Checking of Discrete-Time Markov Chains.
In: Proc. ICTAC 2004,
LNCS 3407,
pp. 280–294,
doi:10.1007/978-3-540-31862-0_21.
Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Bruintjes, Joost-Pieter Katoen & Erika Ábrahám (2015):
PROPhESY: A PRObabilistic ParamEter SYnthesis Tool.
In: Proc. CAV 2015,
LNCS 9206,
pp. 214–231,
doi:10.1007/978-3-319-21690-4_13.
Rob J. van Glabbeek, Scott A. Smolka & Bernhard Steffen (1995):
Reactive, Generative and Stratified Models of Probabilistic Processes.
Inf. Comput. 121(1),
pp. 59–80,
doi:10.1006/inco.1995.1123.
Ernst Moritz Hahn, Tingting Han & Lijun Zhang (2011):
Probabilistic reachability for parametric Markov models.
STTT 13(1),
pp. 3–19,
doi:10.1007/s10009-010-0146-x.
Ernst Moritz Hahn, Tingting Han & Lijun Zhang (2011):
Synthesis for PCTL in Parametric Markov Decision Processes.
In: Proc. NFM 2011,
LNCS 6617,
pp. 146–161,
doi:10.1007/978-3-642-20398-5_12.
Ernst Moritz Hahn, Holger Hermanns, Björn Wachter & Lijun Zhang (2010):
PARAM: A Model Checker for Parametric Markov Models.
In: Proc. CAV 2010,
LNCS 6174,
pp. 660–664,
doi:10.1007/978-3-642-14295-6_56.
Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen & Bernd Becker (2014):
Accelerating Parametric Probabilistic Verification.
In: Proc. QEST 2014,
LNCS 8657,
pp. 404–420,
doi:10.1007/978-3-319-10696-0_31.
Akitoshi Kawamura (2011):
Computational Complexity in Analysis and Geometry,
University of Toronto.
Vladik Kreinovich, Anatoly Lakeyev, JiříRohn & Patrick Kahl (1998):
Computational Complexity and Feasibility of Data Processing and Interval Computations.
Applied Optimization 10.
Springer,
doi:10.1007/978-1-4757-2793-7.
Marta Z. Kwiatkowska, Gethin Norman & David Parker (2011):
PRISM 4.0: Verification of Probabilistic Real-Time Systems.
In: Proc. CAV 2011,
LNCS 6806,
pp. 585–591,
doi:10.1007/978-3-642-22110-1_47.
Ruggero Lanotte, Andrea Maggiolo-Schettini & Angelo Troina (2007):
Parametric probabilistic transition systems for system design and analysis.
Form. Asp. Comput. 19(1),
pp. 93–109,
doi:10.1007/s00165-006-0015-2.
K. G. Larsen & A. Skou (1991):
Bisimulation through probabilistic testing.
Inf. Comput. 94,
pp. 1–28,
doi:10.1016/0890-5401(91)90030-6.
C. Lefevre (1981):
Optimal control of a birth and death epidemic process.
Oper. Res. 29(5),
pp. 971–982,
doi:10.1287/opre.29.5.971.
A. I. Medina Ayala, S. B. Andersson & C. Belta (2012):
Probabilistic control from time-bounded temporal logic specifications in dynamic environments.
In: Proc. ICRA 2012.
IEEE,
pp. 4705–4710,
doi:10.1109/ICRA.2012.6224963.
Katta G Murty & Santosh N Kabadi (1987):
Some NP-complete problems in quadratic and nonlinear programming.
Mathematical Programming 39(2),
pp. 117–129,
doi:10.1007/BF02592948.
Shashank Pathak, Erika Ábrahám, Nils Jansen, Armando Tacchella & Joost-Pieter Katoen (2015):
A Greedy Approach for the Efficient Repair of Stochastic Models.
In: Proc. NFM 2015,
LNCS 9058,
pp. 295–309,
doi:10.1007/978-3-319-17524-9_21.
Q. Qiu, Q. Wu & M. Pedram (2001):
Stochastic modeling of a power-managed system-construction and optimization.
IEEE T. Comput. Aid. D. 20(10),
pp. 1200–1217,
doi:10.1145/313817.313923.
Tim Quatmann, Christian Dehnert, Nils Jansen, Sebastian Junges & Joost-Pieter Katoen (2016):
Parameter Synthesis for Markov Models: Faster Than Ever.
In: Proc. ATVA 2016,
LNCS 9938,
pp. 50–67,
doi:10.1007/978-3-319-46520-3_4.
Sartaj Sahni (1974):
Computationally Related Problems.
SIAM J. Comput. 3(4),
pp. 262–279,
doi:10.1137/0203021.
R. Segala & N.A. Lynch (1994):
Probabilistic Simulations for Probabilistic Processes.
In: Proc. CONCUR'94,
LNCS 836,
pp. 481–496,
doi:10.1007/BFb0015027.
Linn I. Sennott (1998):
Stochastic Dynamic Programming and the Control of Queueing Systems.
Wiley,
doi:10.1002/9780470317037.
eptcs@eptcs.org