Lanean...
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...
Gorde:
| Argitaratua izan da: | Computer Aided Verification |
|---|---|
| Egile Nagusiak: | , , , |
| Formatua: | Artigo |
| Hizkuntza: | Inglês |
| Argitaratua: |
2020
|
| Gaiak: | |
| Sarrera elektronikoa: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7363229/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-53291-8_21 |
| Etiketak: |
Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
|