• 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