h1

h2

h3

h4

h5
h6
%0 Journal Article
%A Chatterjee, Krishnendu
%A Katoen, Joost-Pieter
%A Mohr, Stefanie
%A Weininger, Maximilian
%A Winkler, Tobias
%T Stochastic games with lexicographic objectives
%J Formal methods in system design
%V 63
%N 1/3
%@ 0925-9856
%C Dordrecht [u.a.]
%I Springer Science + Business Media B.V
%M RWTH-2023-03042
%P 40-80
%D 2024
%Z Published: 08 March 2023
%B Conference on Computer-Aided Verification
%C 21 Jul 2020 - 24 Jul 2020, online ()
Y2 21 Jul 2020 - 24 Jul 2020
M2 online, 
%F PUB:(DE-HGF)16 ; PUB:(DE-HGF)8
%9 Journal ArticleContribution to a conference proceedings
%U <Go to ISI:>//WOS:000946174300001
%R 10.1007/s10703-023-00411-4
%U https://publications.rwth-aachen.de/record/954240