Paper in FMSD Journal

The paper entitled “Stochastic Games with Lexicographic Objectives” by Krishnendu Chatterjee (IST Austria), Joost-Pieter Katoen, Stephanie Moor (TU Munich), Maximilian Weininger (Tu Munich), and Tobias Winkler has been accepted for publication in Formal Methods in System Design. This paper presents a detailed study of stochastic turn-based games (SG) with lexicographic objectives. The paper is an extended version of CAV’20 paper providing new results on lexicographic omega-regular objectives in Markov decision processes.