Maximally satisfying LTL action planning.
Jana TumovaAlejandro MarzinottoDimos V. DimarogonasDanica KragicPublished in: IROS (2014)
Keyphrases
- action selection
- classical planning
- enforced hill climbing
- derived predicates
- temporal logic
- planning problems
- transition systems
- model checking
- action sequences
- sensing actions
- stochastic domains
- decision support
- initial state
- multi agent
- bounded model checking
- temporally extended goals
- web services
- planning process
- mixed initiative
- action theories
- decision theoretic planning
- domain independent
- decision making
- data sets