On Subgame Perfect Equilibria in Turn-Based Reachability Timed Games.
Thomas BrihayeAline GoeminnePublished in: FORMATS (2020)
Keyphrases
- first order logic
- nash equilibria
- subgame perfect
- incomplete information
- timed automata
- nash equilibrium
- stochastic games
- game theory
- pure strategy
- fictitious play
- game theoretic
- knowledge representation
- solution concepts
- state space
- petri net
- discrete event
- multiagent learning
- resource allocation
- markov chain
- cooperative
- congestion games