Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Principles of artificial intelligence
Principles of artificial intelligence
Algebraic decision diagrams and their applications
ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
Automatic OBDD-based generation of universal plans in non-deterministic domains
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
LAO: a heuristic search algorithm that finds solutions with loops
Artificial Intelligence - Special issue on heuristic search in artificial intelligence
Dynamic Programming and Optimal Control
Dynamic Programming and Optimal Control
Symbolic Model Checking
KI '98 Proceedings of the 22nd Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Strong Cyclic Planning Revisited
ECP '99 Proceedings of the 5th European Conference on Planning: Recent Advances in AI Planning
Symbolic heuristic search for factored Markov decision processes
Eighteenth national conference on Artificial intelligence
OBDD-based universal planning for synchronized agents in non-deterministic domains
Journal of Artificial Intelligence Research
Conformant planning via symbolic model checking
Journal of Artificial Intelligence Research
SPUDD: stochastic planning using decision diagrams
UAI'99 Proceedings of the Fifteenth conference on Uncertainty in artificial intelligence
State-set branching: Leveraging BDDs for heuristic search
Artificial Intelligence
Automated Creation of Pattern Database Search Heuristics
Model Checking and Artificial Intelligence
Partial Symbolic Pattern Databases for Optimal Sequential Planning
KI '08 Proceedings of the 31st annual German conference on Advances in Artificial Intelligence
Survey on Directed Model Checking
Model Checking and Artificial Intelligence
Weighted A∗ search -- unifying view and application
Artificial Intelligence
Taming numbers and durations in the model checking integrated planning system
Journal of Artificial Intelligence Research
Optimal symbolic planning with action costs and preferences
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Algorithms for memory hierarchies: advanced lectures
Algorithms for memory hierarchies: advanced lectures
Experiments with multiple abstraction heuristics in symbolic verification
SARA'05 Proceedings of the 6th international conference on Abstraction, Reformulation and Approximation
Hi-index | 0.00 |
We show how to use symbolic model-checking techniques in heuristic search algorithms for both deterministic and decision-theoretic planning problems. A symbolic approach exploits state abstraction by using decision diagrams to compactly represent sets of states and operators on sets of states. In earlier work, symbolic model-checking techniques have been used to find plans that minimize the number of steps needed to reach a goal. Our approach generalizes this by showing how to find plans that minimize the expected cost of reaching a goal. For this generalization, we use algebraic decision diagrams instead of binary decision diagrams. In particular, we show that algebraic decision diagrams provide a compact representation of state evaluation functions. We describe symbolic generalizations of A* search for deterministic planning and of LAO* search for decision-theoretic planning problems formalized as Markov decision processes.We report experimental results and discuss issues for future work.