- Titel:
Stochastic games with lexicographic objectives
- Dokumenttyp:
- Zeitschriftenaufsatz
- Autor(en):
- Chatterjee, Krishnendu ; Katoen, Joost-Pieter ; Mohr, Stefanie ; Weininger, Maximilian ; Winkler, Tobias
- Stichworte:
- Article ; Probabilistic verification ; Stochastic games ; Markov decision process ; Multiple objectives ; Lexicographic preferences ; Reachability ; Safety ; Omega-regular ; Mathematical Sciences
- Zeitschriftentitel:
- Formal Methods in System Design
- Jahr:
- 2023
- Seitenangaben Beitrag:
- 1-41
- Volltext / DOI:
- doi:10.1007/s10703-023-00411-4
- Verlag / Institution:
- Springer US
- E-ISSN:
- 0925-9856 ; 1572-8102
- Publikationsdatum:
- 08.03.2023
BibTeX
Login
