Solving µ-Calculus Parity Games by Symbolic Planning.
Marco BakeraStefan EdelkampPeter KissmannClemens D. RennerPublished in: MoChArt (2008)
Keyphrases
- reinforcement learning agents
- problems in artificial intelligence
- decision support
- game theory
- computer games
- video games
- motion planning
- symbolic representation
- high level
- ai planning
- nash equilibria
- coalitional games
- solving problems
- sat solving
- algebraic structure
- urban planning
- constraint programming
- mobile robot