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