DocumentCode
729002
Title
How Good Is a Strategy in a Game with Nature?
Author
Carayol, Arnaud ; Serre, Olivier
Author_Institution
LIGM, Univ. Paris Est, France
fYear
2015
fDate
6-10 July 2015
Firstpage
609
Lastpage
620
Abstract
We consider games with two antagonistic players -- Éloïse (modelling a program) and Abelard (modelling a byzantine environment) -- and a third, unpredictable and uncontrollable player, that we call Nature. Motivated by the fact that the usual probabilistic semantics very quickly leads to undecidability when considering either infinite game graphs or imperfect information, we propose two alternative semantics that leads to decidability where the probabilistic one fails: one based on counting and one based on topology.
Keywords
decidability; game theory; graph theory; probability; Abelard; Éloïse; antagonistic players; byzantine environment modelling; decidability; imperfect information; infinite game graphs; probabilistic semantics; program modelling; topology; Color; Computer science; Games; Probabilistic logic; Probability distribution; Semantics; Topology; cardinality constraints; large sets of branches; qualitative study of games; tree automata;
fLanguage
English
Publisher
ieee
Conference_Titel
Logic in Computer Science (LICS), 2015 30th Annual ACM/IEEE Symposium on
Conference_Location
Kyoto
ISSN
1043-6871
Type
conf
DOI
10.1109/LICS.2015.62
Filename
7174916
Link To Document