Synthesizing Controllers: On the Correspondence Between LTL Synthesis and Non-deterministic Planning.
Alberto CamachoJorge A. BaierChristian J. MuiseSheila A. McIlraithPublished in: Canadian Conference on AI (2018)
Keyphrases
- controller synthesis
- stochastic domains
- deterministic domains
- temporal logic
- planning problems
- classical planning
- model checking
- motion planning
- deterministic automata
- mechanical devices
- reinforcement learning
- ai planning
- blocks world
- plan generation
- planning domains
- feature matching
- decision support
- mixed initiative
- bounded model checking
- black box
- domain independent
- heuristic search