Keyphrases
- temporal logic
- nash equilibrium
- game theoretic
- nash equilibria
- game theory
- model checking
- pure strategy
- games with incomplete information
- extensive form games
- pure nash equilibria
- modal logic
- modal operators
- repeated games
- satisfiability problem
- concurrent systems
- mixed strategy
- stochastic games
- verification method
- belief revision
- pure nash equilibrium
- cooperative
- incomplete information
- formal specification language
- linear temporal logic
- mazurkiewicz traces
- qualitative reasoning
- game playing
- decision problems
- temporally extended
- dynamic constraints
- reactive systems
- temporal knowledge
- formal verification
- automata theoretic