Controlled Reachability Analysis in AI Planning: Theory and Practice.
Yacine ZemaliPublished in: KI (2005)
Keyphrases
- ai planning
- reachability analysis
- heuristic search
- model checking
- markov decision processes
- planning problems
- automated web service composition
- planning under uncertainty
- integer programming
- web service composition
- planning domains
- planning systems
- service composition
- action models
- state space
- video sequences
- orders of magnitude
- general purpose
- macro operators
- timed automata
- special case
- lower bound