References

  1. Pranav Ashok, Krishnendu Chatterjee, Jan Kretínský, Maximilian Weininger & Tobias Winkler (2020): Approximating Values of Generalized-Reachability Stochastic Games. In: Holger Hermanns, Lijun Zhang, Naoki Kobayashi & Dale Miller: LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, July 8-11, 2020. ACM, pp. 102–115, doi:10.1145/3373718.3394761.
  2. Pranav Ashok, Jan Kretínský & Maximilian Weininger (2019): PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games. In: Isil Dillig & Serdar Tasiran: Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I, Lecture Notes in Computer Science 11561. Springer, pp. 497–519, doi:10.1007/978-3-030-25540-4_29.
  3. Guy Avni & Thomas A. Henzinger (2020): A Survey of Bidding Games on Graphs (Invited Paper). In: Igor Konnov & Laura Kovács: 31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference), LIPIcs 171. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, pp. 2:1–2:21, doi:10.4230/LIPIcs.CONCUR.2020.2.
  4. Roberto Bagnara, Patricia M. Hill & Enea Zaffanella (2008): The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems. Sci. Comput. Program. 72(1-2), pp. 3–21, doi:10.1016/j.scico.2007.08.001.
  5. Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, Marcus Daum, Joachim Klein, Steffen Märcker & Sascha Wunderlich (2014): Probabilistic Model Checking and Non-standard Multi-objective Reasoning. In: Stefania Gnesi & Arend Rensink: Fundamental Approaches to Software Engineering - 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, Lecture Notes in Computer Science 8411. Springer, pp. 1–16, doi:10.1007/978-3-642-54804-8_1.
  6. Nicolas Basset, Marta Z. Kwiatkowska & Clemens Wiltsche (2014): Compositional Controller Synthesis for Stochastic Games. In: Paolo Baldan & Daniele Gorla: CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings, Lecture Notes in Computer Science 8704. Springer, pp. 173–187, doi:10.1007/978-3-662-44584-6_13.
  7. Raphaël Berthon, Shibashis Guha & Jean-François Raskin (2020): Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes. In: Holger Hermanns, Lijun Zhang, Naoki Kobayashi & Dale Miller: LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, July 8-11, 2020. ACM, pp. 195–208, doi:10.1145/3373718.3394805.
  8. Tomás Brázdil, Václav Brozek, Krishnendu Chatterjee, Vojtech Forejt & Antonín Kucera (2014): Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. Log. Methods Comput. Sci. 10(1), doi:10.2168/LMCS-10(1:13)2014.
  9. Romain Brenguier & Vojtech Forejt (2016): Decidability Results for Multi-objective Stochastic Games. In: Cyrille Artho, Axel Legay & Doron Peled: Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings, Lecture Notes in Computer Science 9938, pp. 227–243, doi:10.1007/978-3-319-46520-3_15.
  10. Krishnendu Chatterjee, Luca de Alfaro & Thomas A. Henzinger (2013): Strategy improvement for concurrent reachability and turn-based stochastic safety games. J. Comput. Syst. Sci. 79(5), pp. 640–657, doi:10.1016/j.jcss.2012.12.001.
  11. Krishnendu Chatterjee & Laurent Doyen (2016): Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives. In: Martin Grohe, Eric Koskinen & Natarajan Shankar: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016. ACM, pp. 247–256, doi:10.1145/2933575.2934513.
  12. Krishnendu Chatterjee, Laurent Doyen & Thomas A. Henzinger (2009): A Survey of Stochastic Games with Limsup and Liminf Objectives. In: Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris E. Nikoletseas & Wolfgang Thomas: Automata, Languages and Programming, 36th Internatilonal Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II, Lecture Notes in Computer Science 5556. Springer, pp. 1–15, doi:10.1007/978-3-642-02930-1_1.
  13. Krishnendu Chatterjee, Laurent Doyen & Thomas A. Henzinger (2013): A survey of partial-observation stochastic parity games. Formal Methods Syst. Des. 43(2), pp. 268–284, doi:10.1007/s10703-012-0164-2.
  14. Krishnendu Chatterjee, Vojtech Forejt & Dominik Wojtczak (2013): Multi-objective Discounted Reward Verification in Graphs and MDPs. In: Kenneth L. McMillan, Aart Middeldorp & Andrei Voronkov: Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings, Lecture Notes in Computer Science 8312. Springer, pp. 228–242, doi:10.1007/978-3-642-45221-5_17.
  15. Krishnendu Chatterjee & Thomas A. Henzinger (2008): Value Iteration. In: Orna Grumberg & Helmut Veith: 25 Years of Model Checking - History, Achievements, Perspectives, Lecture Notes in Computer Science 5000. Springer, pp. 107–138, doi:10.1007/978-3-540-69850-0_7.
  16. Krishnendu Chatterjee & Thomas A. Henzinger (2012): A survey of stochastic ω-regular games. J. Comput. Syst. Sci. 78(2), pp. 394–413, doi:10.1016/j.jcss.2011.05.002.
  17. Krishnendu Chatterjee, Joost-Pieter Katoen, Maximilian Weininger & Tobias Winkler (2020): Stochastic Games with Lexicographic Reachability-Safety Objectives. In: Shuvendu K. Lahiri & Chao Wang: Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II, Lecture Notes in Computer Science 12225. Springer, pp. 398–420, doi:10.1007/978-3-030-53291-8_21.
  18. Krishnendu Chatterjee, Zuzana Kretínská & Jan Kretínský (2017): Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. Log. Methods Comput. Sci. 13(2), doi:10.23638/LMCS-13(2:15)2017.
  19. Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, Aistis Simaitis & Clemens Wiltsche (2013): On Stochastic Games with Multiple Objectives. In: Krishnendu Chatterjee & JiríSgall: Mathematical Foundations of Computer Science 2013 - 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings, Lecture Notes in Computer Science 8087. Springer, pp. 266–277, doi:10.1007/978-3-642-40313-2_25.
  20. Taolue Chen, Marta Z. Kwiatkowska, Aistis Simaitis & Clemens Wiltsche (2013): Synthesis for Multi-objective Stochastic Games: An Application to Autonomous Urban Driving. In: Kaustubh R. Joshi, Markus Siegle, Mariëlle Stoelinga & Pedro R. D'Argenio: Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, Lecture Notes in Computer Science 8054. Springer, pp. 322–337, doi:10.1007/978-3-642-40196-1_28.
  21. Anne Condon (1990): On Algorithms for Simple Stochastic Games. In: Jin-Yi Cai: Advances In Computational Complexity Theory, Proceedings of a DIMACS Workshop, New Jersey, USA, December 3-7, 1990, DIMACS Series in Discrete Mathematics and Theoretical Computer Science 13. DIMACS/AMS, pp. 51–71, doi:10.1090/dimacs/013/04.
  22. Anne Condon (1992): The Complexity of Stochastic Games. Inf. Comput. 96(2), pp. 203–224, doi:10.1016/0890-5401(92)90048-K.
  23. Florent Delgrange, Joost-Pieter Katoen, Tim Quatmann & Mickael Randour (2020): Simple Strategies in Multi-Objective MDPs. In: Armin Biere & David Parker: Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I, Lecture Notes in Computer Science 12078. Springer, pp. 346–364, doi:10.1007/978-3-030-45190-5_19.
  24. Kousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Vardi & Mihalis Yannakakis (2008): Multi-Objective Model Checking of Markov Decision Processes. Log. Methods Comput. Sci. 4(4), doi:10.2168/LMCS-4(4:8)2008.
  25. Kousha Etessami & Mihalis Yannakakis (2006): Efficient Qualitative Analysis of Classes of Recursive Markov Decision Processes and Simple Stochastic Games. In: Bruno Durand & Wolfgang Thomas: STACS 2006, 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006, Proceedings, Lecture Notes in Computer Science 3884. Springer, pp. 634–645, doi:10.1007/11672142_52.
  26. Lu Feng, Clemens Wiltsche, Laura R. Humphrey & Ufuk Topcu (2015): Controller synthesis for autonomous systems interacting with human operators. In: Alexandre M. Bayen & Michael S. Branicky: Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, ICCPS 2015, Seattle, WA, USA, April 14-16, 2015. ACM, pp. 70–79, doi:10.1145/2735960.2735973.
  27. Nathanaël Fijalkow & Florian Horn (2010): The surprizing complexity of reachability games. CoRR abs/1010.2420. Available at http://arxiv.org/abs/1010.2420.
  28. Jerzy A Filar, Dmitry Krass & Keith W Ross (1995): Percentile performance criteria for limiting average Markov decision processes. IEEE Transactions on Automatic Control 40(1), pp. 2–10, doi:10.1109/9.362904.
  29. Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker & Hongyang Qu (2011): Quantitative Multi-objective Verification for Probabilistic Systems. In: Parosh Aziz Abdulla & K. Rustan M. Leino: Tools and Algorithms for the Construction and Analysis of Systems - 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings, Lecture Notes in Computer Science 6605. Springer, pp. 112–127, doi:10.1007/978-3-642-19835-9_11.
  30. Jan Kretínský, Emanuel Ramneantu, Alexander Slivinskiy & Maximilian Weininger (2020): Comparison of Algorithms for Simple Stochastic Games. In: Jean-François Raskin & Davide Bresolin: Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2020, Brussels, Belgium, September 21-22, 2020, EPTCS 326, pp. 131–148, doi:10.4204/EPTCS.326.9.
  31. Marta Kwiatkowska, Gethin Norman, David Parker & Gabriel Santos (2020): Multi-player Equilibria Verification for Concurrent Stochastic Games. In: Marco Gribaudo, David N. Jansen & Anne Remke: Quantitative Evaluation of Systems - 17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings, Lecture Notes in Computer Science 12289. Springer, pp. 74–95, doi:10.1007/978-3-030-59854-9_7.
  32. Marta Kwiatkowska, Gethin Norman, David Parker & Gabriel Santos (2020): PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time. In: Shuvendu K. Lahiri & Chao Wang: Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II, Lecture Notes in Computer Science 12225. Springer, pp. 475–487, doi:10.1007/978-3-030-53291-8_25.
  33. Marta Kwiatkowska, David Parker & Clemens Wiltsche (2018): PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives. Int. J. Softw. Tools Technol. Transf. 20(2), pp. 195–210, doi:10.1007/s10009-017-0476-z.
  34. Kim G. Larsen, Marius Mikucionis, Marco Muñiz, JiríSrba & Jakob Haahr Taankvist (2016): Online and Compositional Learning of Controllers with Application to Floor Heating. In: Marsha Chechik & Jean-François Raskin: Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, Lecture Notes in Computer Science 9636. Springer, pp. 244–259, doi:10.1007/978-3-662-49674-9_14.
  35. Mickael Randour, Jean-François Raskin & Ocan Sankur (2017): Percentile queries in multi-dimensional Markov decision processes. Formal Methods Syst. Des. 50(2-3), pp. 207–248, doi:10.1007/s10703-016-0262-7.
  36. Lloyd S Shapley (1953): Stochastic games. Proceedings of the national academy of sciences 39(10), pp. 1095–1100, doi:10.1073/pnas.39.10.1095.
  37. Yaron Velner (2015): Robust Multidimensional Mean-Payoff Games are Undecidable. In: Andrew M. Pitts: Foundations of Software Science and Computation Structures - 18th International Conference, FoSSaCS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings, Lecture Notes in Computer Science 9034. Springer, pp. 312–327, doi:10.1007/978-3-662-46678-0_20.
  38. Tobias Winkler & Maximilian Weininger (2021): Stochastic Games with Disjunctions of Multiple Objectives (Technical Report). CoRR abs/2108.04604. Available at https://arxiv.org/abs/2108.04604.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org