A Stay-in-a-Set Game without a Stationary Equilibrium

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

DOI

We give an example of a finite-state two-player turn-based stochastic game with safety objectives for both players which has no stationary Nash equilibrium. This answers an open question of Secchi and Sudderth.
Original languageEnglish
Title of host publicationProceedings Tenth International Symposium on Games, Automata, Logics, and Formal Verification
EditorsJ. Leroux, J-F. Raskin
Number of pages8
PublisherElectronic Proceedings in Theoretical Computer Science
Publication yearSep 2019
Pages83-90
DOIs
Publication statusPublished - Sep 2019
EventInternational Symposium on Games, Automata, Logics, and Formal Verification - Bordeaux, France
Duration: 2 Sep 20192 Sep 2019
Conference number: 10
https://gandalf2019.sciencesconf.org/

Conference

ConferenceInternational Symposium on Games, Automata, Logics, and Formal Verification
Nummer10
LandFrance
ByBordeaux
Periode02/09/201902/09/2019
Internetadresse

See relations at Aarhus University Citationformats

ID: 181452758