Synthesis of Railway-Signaling Plans using Reachability Games.
Patrick KastingMichael R. HansenSteen VesterPublished in: IFL (2016)
Keyphrases
- plan recognition
- game theoretic
- state space
- video games
- nash equilibrium
- program synthesis
- nash equilibria
- game playing
- game theory
- computer games
- general game playing
- partially ordered
- data sets
- learning agents
- coalitional games
- serious games
- incomplete information
- human computation
- game tree search
- cooperative game
- repeated games
- traffic management
- partial solutions
- game based learning
- texture synthesis
- game play
- educational games
- mobile robot
- reinforcement learning