Conformant Planning via Symbolic Model Checking

Journal of Artificial Intelligence Research

Volumn 13, Issue , 2000, Pages 305-338

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

^a ITC IRST   (Italy)

^b UNIVERSITY OF MILAN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0013365496     PISSN: 10769757     EISSN: None     Source Type: Journal    
DOI: 10.1613/jair.774     Document Type: Article

References (44)

1. Blum, A. L., & Furst, M. L. (1995). Fast planning through planning graph analysis. In Proc. Ijcai.
2. Blum, A. L., & Furst, M. L. (1997). Fast planning through planning graph analysis. Artificial Intelligence 1-2, 90, 279-298.
3. th International Conference on Artificial Intelligence Planning and Scheduling, pp. 52-61. AAAI-Press.
4. Brace, K., Rudell, R., & Bryant, R. (1990). Efficient Implementation of a BDD Package. In 27th ACM/IEEE Design Automation Conference, pp. 40-45 Orlando, Florida. ACM/IEEE, IEEE Computer Society Press.
5. Bryant, R. E. (1986). Graph-Based Algorithms for Boolean Function Manipulation. IEEE Transactions on Computers, C-35(8), 677-691.
6. Bryant, R. E. (1991). On the complexity of VLSI implementations and graph representations of Boolean functions with application to integer multiplication. IEEE Transactions on Computers, 40(2), 205-213.
7. Bryant, R. E. (1992). Symbolic Boolean manipulation with ordered binary-decision diagrams. ACM Computing Surveys, 24(3), 293-318.
8. 20 States and Beyond. Information and Computation, 98(2), 142-170.
9. Cassandra, A., Kaelbling, L., & Littman, M. (1994). Acting optimally in partially observable stochastic domains. In Proc. of AAAI-94. AAAI-Press.
10. Cimatti, A., Clarke, E., Giunchiglia, F., & Roveri, M. (2000). NUSMV : a new symbolic model checker. International Journal on Software Tools for Technology Transfer (STTT), 2(4).
11. Cimatti, A., Giunchiglia, E., Giunchiglia, F., & Traverso, P. (1997). Planning via Model Checking: A Decision Procedure for AR. In Steel, S., & Alami, R. (Eds.), Proceeding of the Fourth European Conference on Planning, No. 1348 in Lecture Notes in Artificial Intelligence, pp. 130-142 Toulouse, France. Springer-Verlag. Also ITC-IRST Technical Report 9705-02, ITC-IRST Trento, Italy.
12. Cimatti, A., & Roveri, M. (1999). Conformant Planning via Model Checking. In Biundo, S. (Ed.), Proceeding of the Fifth European Conference on Planning, Lecture Notes in Artificial Intelligence Durham, United Kingdom. Springer-Verlag. Also ITC-IRST Technical Report 9908-01, ITC-IRST Trento, Italy.
13. Cimatti, A., & Roveri, M. (2000). Forward Conformant Planning via Symbolic Model Checking. In Proceeding of the AIPS2k Workshop on Model-Theoretic Approaches to Planning Breckenridge, Colorado.
14. Cimatti, A., Roveri, M., & Traverso, P. (1998a). 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. AAAI-Press. Also IRST-Technical Report 9801-10, Trento, Italy.
15. Cimatti, A., Roveri, M., & Traverso, P. (1998b). 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. AAAI-Press.
16. Clarke, E. M., & Wing, J. M. (1996). Formal methods: State of the art and future directions. ACM Computing Surveys, 28(4), 626-643.
17. Clarke, E., Emerson, E., & Sistla, A. (1986). Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems, 8(2), 244-263.
18. Coudert, O., Madre, J. C., & Touati, H. (1993). TiGeR Version 1.0 User Guide. Digital Paris Research Lab.
19. Daniele, M., Traverso, P., & Vardi, M. Y. (1999). Strong Cyclic Planning Revisited. In Biundo, S. (Ed.), Proceeding of the Fifth European Conference on Planning, Lecture Notes in Artificial Intelligence Durham, United Kingdom. Springer-Verlag.
20. De Giacomo, G., & Vardi, M. (1999). Automata-Theoretic Approach to Planning for Temporally Extended Goals. In Biundo, S. (Ed.), Proceeding of the Fifth European Conference on Planning, Lecture Notes in Artificial Intelligence Durham, United Kingdom. Springer-Verlag.
21. Ferraris, P., & Giunchiglia, E. (2000). Planning as satisfiability in nondeterministic domains. In Proceedings of Seventeenth National Conference on Artificial Intelligence (AAAI'OO) Austin, Texas. AAAI Press.
22. Ghallab, M., Howe, A., Knoblock, C., McDermott, D., Ram, A., Weld, D., & Wilkins, D. (1998). PDDL - The Planning Domain Definition Language. Tech. rep. CVC TR-98-003/DCS TR-1165, Yale Center for Computational Vision and Control.
23. Giunchiglia, E. (1996). Determining Ramifications in the Situation Calculus. In In Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96) Cambridge, Massachusetts. Morgan Kaufmann Publishers.
24. Giunchiglia, E., Kartha, G. N., & Lifschitz, V. (1997). Representing action: Indeterminacy and ramifications. Artificial Intelligence, 95(2), 409-438.
25. Giunchiglia, E., & Lifschitz, V. (1998). An action language based on causal explanation: Preliminary report. 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), pp. 623-630 Menlo Park. AAAI Press.
26. Goldman, R. P., Musliner, D. J., & Pelican, M. J. (2000). Using Model Checking to Plan Hard Real-Time Controllers. In Proceeding of the AIPS2k Workshop on ModelTheoretic Approaches to Planning Breckenridge, Colorado.
27. Goldman, R., & Boddy, M. (1996). Expressive Planning and Explicit Knowledge. In Proceedings of the 3rd International Conference on Artificial Intelligence Planning Systems (AIPS-96), pp. 110-117. AAAI Press.
28. Hoey, J., St-Aubin, R., Hu, A., & Boutilier, C. (1999). Spudd: Stochastic planning using decision diagrams. In Proceedings of the Fifteenth Conference on Uncertainty in Articial Intelligence (1999), pp. 279-288. AAAI Press.
29. Kautz, H., & Selman, B. (1998). 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.
30. Kautz, H. A., McAllester, D., & Selman, B. (1996). Encoding Plans in Propositional Logic. In Proc. KR-96.
31. Kautz, H. A., & Selman, B. (1996). Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search. In Proc. AAAI-96.
32. Kushmerick, N., Hanks, S., & Weld, D. S. (1995). An algorithm for probabilistic planning. Artificial Intelligence, 76(1-2), 239-286.
33. Levesque, H. J. (1996). What is planning in the presence of sensing?. In Proceedings of the Thirteenth National Conference on Artificial Intelligence and the Eighth Innovative Applications of Artificial Intelligence Conference, pp. 1139-1146 Menlo Park. AAAI Press / MIT Press.
34. McDermott, D. (1987). A critique of pure reason. Computational Intelligence, 3(3), 151-237.
35. McMillan, K. (1993). Symbolic Model Checking. Kluwer Academic Publ.
36. Michie, D. (1974). Machine Intelligence at Edinburgh. In On Machine Intelligence, pp. 143-155. Edinburgh University Press.
37. Nilsson, N. (1980). Principles of Artificial Intelligence. Morgan Kaufmann Publishers, Inc., Los Altos, CA.
38. Peot, M. (1998). Decision-Theoretic Planning. Ph.D. thesis, Dept. Engineering-Economic Systems - Stanford University.
39. Rintanen, J. (1999a). Constructing conditional plans by a theorem-prover. Journal of Artificial Intellegence Research, 10, 323-352.
40. Rintanen, J. (1999b). Improvements to the Evaluation of Quantified Boolean Formulae. In Dean, T. (Ed.), 16th Iinternational Joint Conference on Artificial Intelligence, pp. 1192-1197. Morgan Kaufmann Publishers.
41. Smith, D. E., & Weld, D. S. (1998). 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), pp. 889-896 Menlo Park. AAAI Press.
42. Somenzi, F. (1997). CUDD: CU Decision Diagram package - release 2.1.2. Department of Electrical and Computer Engineering - University of Colorado at Boulder.
43. Weld, D. S., Anderson, C. R., & Smith, D. E. (1998). Extending graphplan to handle uncertainty and sensing actions. 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), pp. 897-904 Menlo Park. AAAI Press.
44. Yang, B., Bryant, R. E., O'Hallaron, D. R., Biere, A., Coudert, O., Janssen, G., Ranjan, R. K., & Somenzi, F. (1998). A performance study of BDD-based model checking. In Proceedings of the Formal Methods on Computer-Aided Design, pp. 255-289.