304
M. Cubuktepe et al.
22. Hassan Hatefi and Holger Hermanns. Model Checking Algorithms for Markov
Automata. ECEASST, 53, 2012.
23. Marta Kwiatkowska, Gethin Norman, and David Parker. The PRISM Benchmark
Suite. In QEST, pages 203–204. IEEE CS, 2012.
24. Rowan McAllister, Thierry Peynot, Robert Fitch, and Salah Sukkarieh. Motion
Planning and Stochastic Control with Experimental Validation on a Planetary
Rover. In IROS, pages 4716–4723. IEEE, 2012.
25. Eric M. Wolff, Ufuk Topcu, and Richard M. Murray. Robust Control of Uncertain
Markov Decision Processes with Temporal Logic Specifications. In CDC, pages
3372–3379, 2012.
26. Taolue Chen, Ernst Moritz Hahn, Tingting Han, Marta Kwiatkowska, Hongyang
Qu, and Lijun Zhang. Model Repair for Markov Decision Processes. In TASE,
pages 85–92. IEEE CS, 2013.
27. Alberto Puggelli, Wenchao Li, Alberto L Sangiovanni-Vincentelli, and Sanjit A
Seshia. Polynomial-Time Verification of PCTL Properties of MDPs with Convex
Uncertainties. In CAV, pages 527–542. Springer, 2013.
28. Wolfram Wiesemann, Daniel Kuhn, and Ber¸ c Rustem. Robust Markov Decision
Processes. Mathematics of Operations Research, 38(1):153–183, 2013.
29. Indika Meedeniya, Irene Moser, Aldeida Aleti, and Lars Grunske. Evaluating
Probabilistic Models with Uncertain Model Parameters. Software & Systems
Modeling, 13(4):1395–1415, 2014.
30. Krishnendu Chatterjee, Martin Chmel´ ık, and Mathieu Tracol. What is Decidable
about Partially Observable Markov Decision Processes with ω-Regular Objectives.
Journal of Computer and System Sciences, 82(5):878–911, 2016.
31. B. O’Donoghue, E. Chu, N. Parikh, and S. Boyd. Conic Optimization via Operator
Splitting and Homogeneous Self-Dual Embedding. Journal of Optimization Theory
and Applications, 169(3):1042–1068, June 2016.
32. Tim Quatmann, Christian Dehnert, Nils Jansen, Sebastian Junges, and Joost-Pieter
Katoen. Parameter Synthesis for Markov Models: Faster Than Ever. In ATVA,
volume 9938 of LNCS, pages 50–67, 2016.
33. Asrar Ahmed, Pradeep Varakantham, Meghna Lowalekar, Yossiri Adulyasak, and
Patrick Jaillet. Sampling Based Approaches for Minimizing Regret in Uncertain
Markov Decision Processes (MDPs). J. Artif. Intell. Res., 59:229–264, 2017.
34. Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, and Ufuk Topcu. Sequential Convex Programming
for the Efficient Verification of Parametric MDPs. In TACAS (2), volume 10206 of
LNCS, pages 133–150, 2017.
35. Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, and Matthias Volk. A
Storm is Coming: A Modern Probabilistic Model Checker. In CAV (2), volume
10427 of LNCS, pages 592–600. Springer, 2017.
36. Dimitri Scheftelowitsch, Peter Buchholz, Vahid Hashemi, and Holger Hermanns.
Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters. In VALUETOOLS, pages 44–51, 2017.
37. Sebastian Arming, Ezio Bartocci, Krishnendu Chatterjee, Joost-Pieter Katoen, and
Ana Sokolova. Parameter-Independent Strategies for pMDPs via POMDPs. In
QEST, pages 53–70. Springer, 2018.
38. Luca Bortolussi and Simone Silvetti. Bayesian Statistical Parameter Synthesis for
Linear Temporal Properties of Stochastic Models. In TACAS, pages 396–413, 2018.
39. Marco Claudio Campi, Simone Garatti, and Federico Alessandro Ramponi. A
General Scenario Theory for Nonconvex Optimization and Decision Making. IEEE
Trans. Automat. Contr., 63(12):4067–4078, 2018.
M. Cubuktepe et al.
22. Hassan Hatefi and Holger Hermanns. Model Checking Algorithms for Markov
Automata. ECEASST, 53, 2012.
23. Marta Kwiatkowska, Gethin Norman, and David Parker. The PRISM Benchmark
Suite. In QEST, pages 203–204. IEEE CS, 2012.
24. Rowan McAllister, Thierry Peynot, Robert Fitch, and Salah Sukkarieh. Motion
Planning and Stochastic Control with Experimental Validation on a Planetary
Rover. In IROS, pages 4716–4723. IEEE, 2012.
25. Eric M. Wolff, Ufuk Topcu, and Richard M. Murray. Robust Control of Uncertain
Markov Decision Processes with Temporal Logic Specifications. In CDC, pages
3372–3379, 2012.
26. Taolue Chen, Ernst Moritz Hahn, Tingting Han, Marta Kwiatkowska, Hongyang
Qu, and Lijun Zhang. Model Repair for Markov Decision Processes. In TASE,
pages 85–92. IEEE CS, 2013.
27. Alberto Puggelli, Wenchao Li, Alberto L Sangiovanni-Vincentelli, and Sanjit A
Seshia. Polynomial-Time Verification of PCTL Properties of MDPs with Convex
Uncertainties. In CAV, pages 527–542. Springer, 2013.
28. Wolfram Wiesemann, Daniel Kuhn, and Ber¸ c Rustem. Robust Markov Decision
Processes. Mathematics of Operations Research, 38(1):153–183, 2013.
29. Indika Meedeniya, Irene Moser, Aldeida Aleti, and Lars Grunske. Evaluating
Probabilistic Models with Uncertain Model Parameters. Software & Systems
Modeling, 13(4):1395–1415, 2014.
30. Krishnendu Chatterjee, Martin Chmel´ ık, and Mathieu Tracol. What is Decidable
about Partially Observable Markov Decision Processes with ω-Regular Objectives.
Journal of Computer and System Sciences, 82(5):878–911, 2016.
31. B. O’Donoghue, E. Chu, N. Parikh, and S. Boyd. Conic Optimization via Operator
Splitting and Homogeneous Self-Dual Embedding. Journal of Optimization Theory
and Applications, 169(3):1042–1068, June 2016.
32. Tim Quatmann, Christian Dehnert, Nils Jansen, Sebastian Junges, and Joost-Pieter
Katoen. Parameter Synthesis for Markov Models: Faster Than Ever. In ATVA,
volume 9938 of LNCS, pages 50–67, 2016.
33. Asrar Ahmed, Pradeep Varakantham, Meghna Lowalekar, Yossiri Adulyasak, and
Patrick Jaillet. Sampling Based Approaches for Minimizing Regret in Uncertain
Markov Decision Processes (MDPs). J. Artif. Intell. Res., 59:229–264, 2017.
34. Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, and Ufuk Topcu. Sequential Convex Programming
for the Efficient Verification of Parametric MDPs. In TACAS (2), volume 10206 of
LNCS, pages 133–150, 2017.
35. Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, and Matthias Volk. A
Storm is Coming: A Modern Probabilistic Model Checker. In CAV (2), volume
10427 of LNCS, pages 592–600. Springer, 2017.
36. Dimitri Scheftelowitsch, Peter Buchholz, Vahid Hashemi, and Holger Hermanns.
Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters. In VALUETOOLS, pages 44–51, 2017.
37. Sebastian Arming, Ezio Bartocci, Krishnendu Chatterjee, Joost-Pieter Katoen, and
Ana Sokolova. Parameter-Independent Strategies for pMDPs via POMDPs. In
QEST, pages 53–70. Springer, 2018.
38. Luca Bortolussi and Simone Silvetti. Bayesian Statistical Parameter Synthesis for
Linear Temporal Properties of Stochastic Models. In TACAS, pages 396–413, 2018.
39. Marco Claudio Campi, Simone Garatti, and Federico Alessandro Ramponi. A
General Scenario Theory for Nonconvex Optimization and Decision Making. IEEE
Trans. Automat. Contr., 63(12):4067–4078, 2018.