Cargando…

Stochastic Games with Lexicographic Reachability-Safety Objectives

We study turn-based stochastic zero-sum games with lexicographic preferences over reachability and safety objectives. Stochastic games are standard models in control, verification, and synthesis of stochastic reactive systems that exhibit both randomness as well as angelic and demonic non-determinis...

Descripción completa

Detalles Bibliográficos
Autores principales: Chatterjee, Krishnendu, Katoen, Joost-Pieter, Weininger, Maximilian, Winkler, Tobias
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7363229/
http://dx.doi.org/10.1007/978-3-030-53291-8_21