Planning under LTL Environment Specifications.
Benjamin AminofGiuseppe De GiacomoAniello MuranoSasha RubinPublished in: ICAPS (2019)
Keyphrases
- bounded model checking
- uncertain environments
- reactive systems
- data sets
- complex environments
- dynamic environments
- temporal logic
- navigation tasks
- real time
- planning problems
- mobile robot
- learning environment
- decision support
- model checking
- goal oriented
- classical planning
- planning process
- world model
- stochastic domains
- transition systems
- requirements specification
- high level