Minimum-violation LTL Planning with Conflicting Specifications
Jana TumovaLuis I. Reyes CastroSertac KaramanEmilio FrazzoliDaniela RusPublished in: CoRR (2013)
Keyphrases
- bounded model checking
- classical planning
- model checking
- temporal logic
- planning problems
- linear temporal logic
- heuristic search
- transition systems
- temporally extended goals
- domain independent
- formal verification
- high level
- neural network
- deterministic automata
- model checker
- formal specification
- minimum cost
- mixed initiative
- production planning
- planning process
- plan generation
- symbolic model checking
- concurrent systems
- delay insensitive
- motion planning
- np hard
- search algorithm
- data sets