h1

h2

h3

h4

h5
h6
TY  - JOUR
AU  - Chatterjee, Krishnendu
AU  - Katoen, Joost-Pieter
AU  - Mohr, Stefanie
AU  - Weininger, Maximilian
AU  - Winkler, Tobias
TI  - Stochastic games with lexicographic objectives
JO  - Formal methods in system design
VL  - 63
IS  - 1/3
SN  - 0925-9856
CY  - Dordrecht [u.a.]
PB  - Springer Science + Business Media B.V
M1  - RWTH-2023-03042
SP  - 40-80
PY  - 2024
N1  - Published: 08 March 2023
T2  - Conference on Computer-Aided Verification
CY  - 21 Jul 2020 - 24 Jul 2020, online ()
Y2  - 21 Jul 2020 - 24 Jul 2020
M2  - online, 
LB  - PUB:(DE-HGF)16 ; PUB:(DE-HGF)8
UR  - <Go to ISI:>//WOS:000946174300001
DO  - DOI:10.1007/s10703-023-00411-4
UR  - https://publications.rwth-aachen.de/record/954240
ER  -