See this document in CiteSeerX!

Rune M. Jensen, Manuela M. Veloso and Randal E. Bryant  (Make Corrections)  
Computer Science Department,Carnegie Mellon University, 5000 Forbes Avenue,...



  Home/Search   Context   Related

 
View or download:
cmu.edu/~coral/publ...03icapsrune2.pdf
Cached:  PDF   PS.gz  PS  Image  Update  Help

From:  cmu.edu/~coral/publications/ (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

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