Computer Science Department,Carnegie Mellon University, 5000 Forbes Avenue,...  Home/Search
Context
Related
| cmu.edu/~coral/publ...03icapsrune2.pdf Cached: PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PS.gz PS Image Update HelpFrom: cmu.edu/~coral/publications/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Symbolic universal planning based on the reduced Ordered Binary Decision Diagram (OBDD) has been shown to be an efficient approach for planning in non-deterministic domains. To date, however, no guided algorithms exist for synthesizing universal plans. In this paper, we introduce a general approach for guiding universal planning based on an existing method for heuristic symbolic search in deterministic domains. We present three new sound and complete algorithms for best-first strong, strong... (Update)
Active bibliography (related documents): More All
0.9: Efficient BDD-Based Planning for Non-Deterministic.. - Jensen (2003) (Correct)
0.5: Fault Tolerant Planning: Toward Probabilistic Uncertainty.. - Rune Jensen It (Correct)
0.3: State-Set Branching: Leveraging OBDDs for Heuristic Search - Jensen, Bryant, Veloso (2002) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ department-rune,
author = "Computer Science Department",
title = "Rune M. Jensen, Manuela M. Veloso and Randal E. Bryant",
url = "citeseer.ist.psu.edu/752533.html" }
Citations (may not include all citations):1726 Graph-based algorithms for boolean function manipulation - Bryant - 1986
828 Model Checking - Clarke, Grumberg et al. - 1999
297 Symbolic Model Checking (context) - McMillan - 1993
213 Universal plans for reactive robots in unpredictable environ.. - Schoppers - 1987
50 Scheduling a steel plant with timed automata - Fehnker - 1999
48 Branching time temporal logic (context) - Emerson, Srinivasan - 1989
27 OBDDs in heuristic search - Edelkamp, Reffel - 1998
24 Strong cyclic planning revisited - Daniele, Traverso et al. - 1999
10 Universal planning (context) - Ginsberg - 1989
3 Spotlight: Best-first search of FSM state space - Yang, Dill - 1996
3 Symbolic heuristic search using decision diagrams (context) - Hansen, Zhou et al. - 2002
2 Symbolic LAO* search for factored markov decision processes (context) - Feng, Hansen - 2002
2 Formal and informal verification (context) - Yuan, Shen et al. - 1997
1 and Veloso (context) - Jensen, Bryant - 2002
1 Guided synthesis of control programs using UPPALL (context) - Hune, Larsen et al. - 2001
Documents on the same site (http://www.cs.cmu.edu/~coral/publications/): More
Integration of Advice in an Action-Selection Architecture - Carpenter, Riley, Veloso, .. (2002) (Correct)
Principled Monitoring of Distributed Agents for.. - Browning, Kaminka.. (2002) (Correct)
A Formalization of Equilibria for Multiagent Planning - Michael Bowling Rune (2002) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC