Conformant planning via model checking

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 1809, Issue , 2000, Pages 21-34

  Cimatti, Alessandro ^a   Roveri, Marco ^a,b  

^a ITC IRST   (Italy)

^b UNIVERSITY OF MILAN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BINARY DECISION DIAGRAMS;

CONFORMANT PLANNING; EXPERIMENTAL EVALUATION; MINIMAL LENGTHS; NONDETERMINISTIC BEHAVIOR; PLANNING DOMAINS; SEQUENCE OF ACTIONS; STATE OF THE ART; SYMBOLIC TECHNIQUES;

MODEL CHECKING;

EID: 84943238879     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/10720246_2     Document Type: Conference Paper

References (20)

1. Avrim L.Blum and Merrick L.Furst.Fast planning through planning graph analysis.Artificial Intelligence 1-2, 90:279-298, 1997.
2. R.E.Bryant.Graph-Based Algorithms for Boolean Function Manipulation.IEEE Transactions on Computers, C-35(8):677-691, August 1986.
3. J.R.Burch, E.M.Clarke, K.L.McMillan, D.L.Dill, and L.J.Hwang.Sym-bolic Model Checking: 1020 States and Beyond.Information and Computation, 98(2):142-170, June 1992.
4. A.Cimatti, E.M.Clarke, F.Giunchiglia, and M.Roveri.NuSMV: A new Symbolic Model Verifier.In N.Halbwachs and D.Peled, editors, Proceedings Eleventh Con-ference on Computer-Aided Verification (CAV'99), number 1633 in Lecture Notes in Computer Science, pages 495-499, Trento, Italy, July 1999.Springer.
5. A.Cimatti, E.Giunchiglia, F.Giunchiglia, and P.Traverso.Planning via Model Checking: A Decision Procedure for AR.In S.Steel and R.Alami, editors, Pro-ceeding of the Fourth European Conference on Planning, number 1348 in LNAI, pages 130-142, Toulouse, France, September 1997.Springer-Verlag.
6. A.Cimatti and M.Roveri.Conformant Planning via Model Checking.Technical Report 9908-02, ITC-IRST, Trento, Italy, August 1999.
7. A.Cimatti, M.Roveri, and P.Traverso.Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains.In Proceeding of the Fifteenth National Conference on Artificial Intelligence (AAAI-98), Madison, Wisconsin, 1998.AAAI-Press.
8. A.Cimatti, M.Roveri, and P.Traverso.Strong Planning in Non-Deterministic Domains via Model Checking.In Proceeding of the Fourth International Conference on Artificial Intelligence Planning Systems (AIPS-98), Carnegie Mellon University, Pittsburgh, USA, June 1998.AAAI-Press.
9. M.Daniele, P.Traverso, and M.Y.Vardi.Strong Cyclic Planning Revisited.In Susanne Biundo, editor, Proceeding of the Fifth European Conference on Planning.Durham, UK, September 1999.Springer-Verlag.
10. E.Giunchiglia, G.N.Kartha, and V.Lifschitz.Representing action: Indeterminacy and ramifications.Artificial Intelligence, 95(2):409-438, 1997.
11. H.Kautz and B.Selman.BLACKBOX: A New Approach to the Application of Theorem Proving to Problem Solving.In Working notes of the Workshop on Planning as Combinatorial Search, Pittsburgh, PA, USA, June 1998.
12. Henry A.Kautz, David McAllester, and Bart Selman.Encoding Plans in Propo-sitional Logic.In Proc.KR-96, 1996.
13. Henry A.Kautz and Bart Selman.Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search.In Proc.AAAI-96, 1996.
14. Nicholas Kushmerick, Steve Hanks, and Daniel S.Weld.An algorithm for proba-bilistic planning.Artificial Intelligence, 76(1-2):239-286, September 1995.
15. K.L.McMillan.Symbolic Model Checking.Kluwer Academic Publ., 1993.
16. M.Peot.Decision-Theoretic Planning.PhD thesis, Dept.Engineering-Economic Systems | Stanford University, 1998.
17. J.Rintanen.Constructing conditional plans by a theorem-prover.Journal of Artificial Intellegence Research, 1999.Accepted for publication.
18. J.Rintanen.Improvements to the Evaluation of Quantified Boolean Formulae.In 16th Iinternational Joint Conference on Artificial Intelligence.Morgan Kaufmann Publishers, August 1999.To appear.
19. David E.Smith and Daniel S.Weld.Conformant graphplan.In Proceedings of the 15th National Conference on Artificial Intelligence (AAAI-98) and of the 10th Conference on Innovative Applications of Artificial Intelligence (IAAI-98), pages 889-896, Menlo Park, July 26-30 1998.AAAI Press.
20. F.Somenzi.CUDD: CU Decision Diagram package | release 2.1.2.Department of Electrical and Computer Engineering | University of Colorado at Boulder, April 1997.