Conformant Planning via Symbolic Model Checking and Heuristic Search

Conformant Planning via Symbolic Model Checking and Heuristic Search (2003)

Cached

Download Links

[sra.fbk.eu]
[www.cs.washington.edu]
[sra.itc.it]

Other Repositories/Bibliography

DBLP

by A. Cimatti , M. Roveri , P. Bertoli

Citations:

107 - 11 self

BibTeX

@MISC{Cimatti03conformantplanning,
    author = {A. Cimatti and M. Roveri and P. Bertoli},
    title = {Conformant Planning via Symbolic Model Checking and Heuristic Search},
    year = {2003}
}

Bookmark

OpenURL

Abstract

Citations

2605	Graph-based algorithms for Boolean function manipulation - Bryant - 1986
1207	Symbolic Model Checking - McMillan - 1993
1085	Automatic verification of finite-state concurrent systems using temporal logic specifications - Clarke, Emerson, et al. - 1986
852	Fast planning through planning graph analysis - Blum, Furst - 1997
792	Symbolic boolean manipulation with ordered binary decision diagrams - Bryant - 1992
503	Principles of Artificial Intelligence - Nilsson - 1982
421	Efficient implementation of a BDD package - Brace, Rudell, et al. - 1990
329	Formal Methods: State of the Art and Future Directions - Clarke, Wing, et al. - 1996
235	An algorithm for probabilistic planning - Kushmerick, Hanks, et al. - 1995
224	On the complexity of VLSI implementations and graph representation of boolean functions with application to integer multiplication - BRYANT - 1991
196	CUDD: CU decision diagram package release - Somenzi - 1998
174	Planning with Incomplete Information as Heuristic Search in Belief Space - Bonet, Geffner - 2000
142	NuSMV: A New Symbolic Model Verifier - Cimatti, Clarke, et al. - 1999
122	Constructing conditional plans by a theorem prover - Rintanen - 1999
115	Blackbox: A new approach to the application of theorem proving to problem solving - Kautz, Selman - 1998
111	Conformant Graphplan - Smith, Weld - 1998
108	A critic of pure reason - McDermott - 1987
103	Planning in nondeterministic domains under partial observability via symbolic model checking - Bertoli, Cimatti, et al. - 2001
102	The automatic inference of state invariants in TIM - Fox, Long - 1998
87	M.: Nusmv: A new symbolic model checker - Cimatti, Clarke, et al. - 2000
82	Automatic OBDD-based Generation of Universal Plans in NonDeterministic Domains - Cimatti, Roveri, et al. - 1998
73	Pushing the Envelope - Kautz, Selman
70	A logic programming approach to knowledge-state planning, II: The DLVK system - Eiter, Faber, et al.
68	Improvements to the Evaluation of Quantified Boolean Formulae - Rintanen - 1999
65	Representing action: indeterminacy and ramifications - Giunchiglia, Kartha, et al. - 1997
65	Conformant Planning via Heuristic Forward Search - Brafman, Hoffmann - 2003
62	Planning via model checking: a decision procedure for AR - Cimatti, Giunchiglia, et al. - 1997
54	Planning as model checking for extended goals in non-deterministic domains - Pistore, Traverso - 2001
51	Planning with a Language for Extended Goals - Lago, Pistore, et al.
47	Strong Planning in Non-Deterministic Domains via Model Checking - Cimatti, Roveri, et al. - 1998
46	Conformant planning via model checking - Cimatti, Roveri - 1999
40	Strong Cyclic Planning via Symbolic Model Checking - Weak - 2003
39	Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning - Bertoli, Cimatti, et al. - 2001
30	Automata-theoretic approach to planning for temporally extended goals - Giacomo, Vardi - 1999
29	Heuristic Guidance Measures for Conformant Planning - Bryce, Kambhampati - 2003
28	CTL model checking based on forward state traversal - Iwashita, Nakata, et al. - 1996
27	Open world planning in the Situation Calculus - Finzi, Pirri, et al. - 2000
25	Strong Cyclic Planning Revisited - Daniele, Traverso, et al. - 1999
24	Symbolic Techniques for Planning with Extended Goals in NonDeterministic Domains - Pistore, Bettin, et al. - 2001
22	Improving Heuristics for Planning as Search in Belief Space - Bertoli, Cimatti - 2002
21	Decision-Theoretic Planning - Peot - 1998
19	Discovering State Constraints in DISCOPLAN: Some New Results - Gerevini, Schubert - 2000
18	Some Results on the Complexity of Planning with Incomplete Information - Haslum, Jonsson - 1999
15	Fragment-based Conformant Planning - Kurien, Nayak, et al. - 2002
12	Integrating BDD-based and SAT-based Symbolic Model Checking - Cimatti, Giunchiglia, et al. - 2002
11	Conditional Planning under Partial Observability as Heuristic-Symbolic Search in Belief Space - Bertoli, Cimatti, et al. - 2001
8	Extending PDDL to Nondeterminism, Limited Sensing and Iterative Conditional - Bertoli, Cimatti, et al. - 2003
7	Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking - Cimatti, Roveri, et al. - 2001
4	Machine Intelligence at Edinburgh - Michie - 1974
2	SAT-based Planning in Complex Domains - Castellini, Giunchiglia, et al. - 2003