Action Failure Recovery via Model-Based Diagnosis and Conformant Planning.
Roberto MicalizioPublished in: Comput. Intell. (2013)
Keyphrases
- model based diagnosis
- failure recovery
- conformant planning
- initial state
- symbolic model checking
- model checking
- fault tolerance
- dynamic systems
- action sequences
- forward search
- single link
- finite domain
- load balancing
- constraint programming
- heuristic search
- belief space
- computationally hard
- situation calculus
- planning problems
- ai planning
- state space
- grid computing
- formal verification
- optimal solution
- temporal logic
- mobile agents
- constraint satisfaction problems
- peer to peer
- distributed systems
- wireless sensor networks