User: Guest  Login
If you experience problems opening the document, please try this link.
Title:

Stochastic games with lexicographic objectives

Document type:
Zeitschriftenaufsatz
Author(s):
Chatterjee, Krishnendu ; Katoen, Joost-Pieter ; Mohr, Stefanie ; Weininger, Maximilian ; Winkler, Tobias
Keywords:
Article ; Probabilistic verification ; Stochastic games ; Markov decision process ; Multiple objectives ; Lexicographic preferences ; Reachability ; Safety ; Omega-regular ; Mathematical Sciences
Journal title:
Formal Methods in System Design
Year:
2023
Pages contribution:
1-41
Fulltext / DOI:
doi:10.1007/s10703-023-00411-4
Publisher:
Springer US
E-ISSN:
0925-9856 ; 1572-8102
Date of publication:
08.03.2023
 BibTeX