Conformant planning via symbolic model checking and heuristic search

DOI10.1016/j.artint.2004.05.003zbMath1086.68591WikidataQ62041390 ScholiaQ62041390MaRDI QIDQ814631

Alessandro Cimatti, Marco Roveri, Piergiorgio Bertoli

Publication date: 7 February 2006

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2004.05.003

zbMATH Keywords

Conformant planning; Binary decision diagrams; Planning in nondeterministic domains; Heuristic search in belief space; Symbolic model checking

Mathematics Subject Classification ID

68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)

Related Items

Weak, strong, and strong cyclic planning via symbolic model checking, SAT-based planning in complex domains: Concurrency, constraints and nondeterminism, Conformant planning via symbolic model checking and heuristic search, Weighted \(A^*\) search - unifying view and application, Conformant planning via heuristic forward search: A new approach, Strong planning under partial observability, Understanding planning with incomplete information and sensing, Extending Classical Planning to the Multi-agent Case: A Game-Theoretic Approach

Uses Software

• NuSMV
• CUDD

Cites Work

• A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system
• Weak, strong, and strong cyclic planning via symbolic model checking
• SAT-based planning in complex domains: Concurrency, constraints and nondeterminism
• Conformant planning via symbolic model checking and heuristic search
• Symbolic model checking: \(10^{20}\) states and beyond
• Representing action: indeterminacy and ramifications
• Conformant planning via heuristic forward search: A new approach
• On the complexity of VLSI implementations and graph representations of Boolean functions with application to integer multiplication
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Graph-Based Algorithms for Boolean Function Manipulation
• Interpolants and Symbolic Model Checking
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item