Best-Effort Synthesis in Nondeterministic Planning Domains.
Giuseppe De GiacomoGianmarco ParrettiShufang ZhuPublished in: ECAI (2023)
Keyphrases
- planning domains
- fully observable
- planning problems
- orders of magnitude
- nondeterministic domains
- htn planning
- ai planning
- domain independent
- planning systems
- automated planning
- model checking
- partial observability
- planning under partial observability
- partial order planning
- hierarchical task networks
- search strategies
- enforced hill climbing
- international planning competition
- quality of service
- partial order planner
- classical planning
- finite state
- action models
- optimal planning
- symbolic model checking
- mutual exclusion
- domain knowledge
- partially observable
- state space
- upper bound
- dynamic environments
- initial state