Journal Paper in FMSD

The paper entitled “Stochastic Games with Lexicographic Objectives” by Krishnendu Chatterjee (IST), Joost-Pieter Katoen, Stephanie Mohr (TUM), Maximilain Weininger (TUM) and Tobias Winkler has been accepted fior publication in special issue devoted to CAV 2020 in the journal Formal Methods in System Design. The paper considers presents a detailed study of stochastic turn-based games (SG) with lexicographic objectives and provides new results on lexicographic omega-regular objectives in Markov decision processes.