Reachability Games Modulo Theories with a Bounded Safety Player.
Marco FaellaGennaro ParlatoPublished in: AAAI (2023)
Keyphrases
- game play
- modulo theories
- pure nash equilibria
- boolean games
- repeated games
- two player games
- imperfect information
- board game
- video games
- game players
- computer poker
- human players
- computer games
- state space
- answer set programming
- game theoretic
- game theory
- weighted voting games
- serious games
- nash equilibria
- game playing
- np hard
- stable model semantics
- game tree
- satisfiability modulo theories