Minimum-violation LTL planning with conflicting specifications.
Jana TumovaLuis I. Reyes CastroSertac KaramanEmilio FrazzoliDaniela RusPublished in: ACC (2013)
Keyphrases
- bounded model checking
- transition systems
- model checking
- temporal logic
- classical planning
- planning domains
- planning problems
- specification language
- temporally extended goals
- formal verification
- formal specification
- symbolic model checking
- stochastic domains
- motion planning
- linear temporal logic
- domain independent
- ai planning
- functional requirements
- neural network
- mixed initiative
- finite state machines
- blocks world
- concurrent systems
- delay insensitive
- heuristic search