FlatPack: flexible temporal planning with verification and controller synthesis.
Ajay KattepurSwarup Kumar MohalikPublished in: SAC (2021)
Keyphrases
- temporal planning
- controller synthesis
- temporal planner
- mutual exclusion
- plan generation
- autonomic computing systems
- ai planning
- domain independent
- model checking
- heuristic search
- temporal constraints
- plan execution
- closed loop
- control algorithm
- long distance
- planning problems
- control system
- machine learning
- evolutionary algorithm
- multi agent