LTLf Best-Effort Synthesis in Nondeterministic Planning Domains.
Giuseppe De GiacomoGianmarco ParrettiShufang ZhuPublished in: CoRR (2023)
Keyphrases
- planning domains
- fully observable
- planning problems
- ai planning
- nondeterministic domains
- orders of magnitude
- domain independent
- htn planning
- planning systems
- automated planning
- model checking
- quality of service
- partial order planning
- search strategies
- finite state
- partial observability
- international planning competition
- planning under partial observability
- symbolic model checking
- action models
- optimal planning
- macro operators
- machine learning
- hierarchical task networks
- mutual exclusion
- domain specific
- deterministic finite automaton
- partial order planner
- classical planning
- search strategy
- general purpose
- state space