A Formal Approach Combining Event-B and PDDL for Planning Problems.
Sabrine AmmarMohamed Tahar BhiriPublished in: ICSOFT (2021)
Keyphrases
- planning problems
- planning domains
- ai planning
- planning systems
- domain independent
- heuristic search
- state space
- temporal planning
- plan generation
- solving planning problems
- partial observability
- fully observable
- probabilistic planning
- htn planning
- orders of magnitude
- domain specific
- causal graph
- planning tasks
- concurrent actions
- search space
- description language
- search strategies
- model checking
- optimal planning
- classical planning
- formal methods
- stochastic domains
- search algorithm