{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,21]],"date-time":"2026-01-21T15:50:18Z","timestamp":1769010618612,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540678663","type":"print"},{"value":"9783540446576","type":"electronic"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10720246_1","type":"book-chapter","created":{"date-parts":[[2006,12,29]],"date-time":"2006-12-29T11:15:39Z","timestamp":1167390939000},"page":"1-20","source":"Crossref","is-referenced-by-count":61,"title":["Planning as Model Checking"],"prefix":"10.1007","author":[{"given":"Fausto","family":"Giunchiglia","sequence":"first","affiliation":[]},{"given":"Paolo","family":"Traverso","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"8","key":"1_CR1","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"C-35","author":"R.E. Bryant","year":"1986","unstructured":"Bryant, R.E.: Graph-Based Algorithms for Boolean Function Manipulation. IEEE Transactions on Computers\u00a0C-35(8), 677\u2013691 (1986)","journal-title":"IEEE Transactions on Computers"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Burch, J.R., Clarke, E.M., McMillan, K.L., Dill, D.L., Hwang, L.J.: Symbolic Model Checking: 1020 States and Beyond. Information and Computation\u00a098(2), 142\u2013170 (1992)","DOI":"10.1016\/0890-5401(92)90017-A"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Cimatti, A., Clarke, E.M., Giunchiglia, F., Roveri, M.: NuSMV: a new Symbolic Model Verifier. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol.\u00a01633, pp. 495\u2013499. Springer, Heidelberg (1999)","DOI":"10.1007\/3-540-48683-6_44"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Cimatti, A., Giunchiglia, E., Giunchiglia, F., Traverso, P.: Planning via Model Checking: A Decision Procedure for AR. In: Steel, S. (ed.) ECP 1997. LNCS, vol.\u00a01348, pp. 130\u2013142. Springer, Heidelberg (1997)","DOI":"10.1007\/3-540-63912-8_81"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Cimatti, A., Roveri, M.: Conformant Planning via Model Checking. In: Biundo, S. (ed.) Proceeding of the Fifth European Conference on Planning, Durham, United Kingdom. LNCS (LNAI). Springer, Heidelberg (1999)","DOI":"10.1613\/jair.774"},{"key":"1_CR6","unstructured":"Cimatti, A., Roveri, M., Traverso, P.: Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains. In: Proceeding of the Fifteenth National Conference on Artificial Intelligence (AAAI 1998), Madison, Wisconsin. AAAI-Press, Menlo Park (1998); Also IRST-Technical Report 9801-10, Trento, Italy"},{"key":"1_CR7","unstructured":"Cimatti, A., Roveri, M., Traverso, P.: Strong Planning in Non-Deterministic Domains via Model Checking. In: Proceeding of the Fourth International Conference on Artificial Intelligence Planning Systems (AIPS 1998), Carnegie Mellon University, Pittsburgh, USA. AAAI-Press, Menlo Park (1998)"},{"key":"1_CR8","unstructured":"Clarke, E., Grumberg, O., Long, D.: Model Checking. In: Proceedings of the International Summer School on Deductive Program Design, Marktoberdorf, Germany (1994)"},{"issue":"1","key":"1_CR9","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1146\/annurev.cs.02.060187.001413","volume":"2","author":"E.M. Clarke","year":"1987","unstructured":"Clarke, E.M., Grumberg, O.: Research in automatic verification and finite-state concurrent systems. Annual Review of Computer Science\u00a02(1), 269\u2013289 (1987)","journal-title":"Annual Review of Computer Science"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Daniele, M., Traverso, P., Vardi, M.Y.: Strong Cyclic Planning Revisited. In: Biundo, S. (ed.) Proceeding of the Fifth European Conference on Planning, Durham, United Kingdom. LNCS (LNAI). Springer, Heidelberg (1999)","DOI":"10.1007\/10720246_3"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"de Giacomo, G., Vardi, M.Y.: Automata-theoretic approach to planning with temporally extended goals. In: Biundo, S. (ed.) Proceeding of the Fifth European Conference on Planning, Durham, United Kingdom. LNCS (LNAI). Springer, Heidelberg (1999)","DOI":"10.1007\/10720246_18"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Hand- book of Theoretical Computer Science. Formal Models and Semantics. ch.\u00a016, Vol. B, pp. 995\u20131072. Elsevier, Amsterdam (1990)","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"issue":"3-4","key":"1_CR13","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R.E. Fikes","year":"1971","unstructured":"Fikes, R.E., Nilsson, N.J.: STRIPS: A new approach to the application of Theorem Proving to Problem Solving. Artificial Intelligence\u00a02(3-4), 189\u2013208 (1971)","journal-title":"Artificial Intelligence"},{"key":"1_CR14","unstructured":"Georgeff, M.: An embedded reasoning and planning system. In: Tenenberg, J., Weber, J., Allen, J. (eds.) Proc. from the Rochester Planning Workshop: from Formal Systems to Practical Systems, Rochester, pp. 105\u2013128 (1989)"},{"key":"1_CR15","unstructured":"Georgeff, M., Lansky, A.L.: Reactive reasoning and planning. In: Proc. of the 6th National Conference on Artificial Intelligence, Seattle, WA, USA, pp. 677\u2013682 (1987)"},{"key":"1_CR16","unstructured":"Giunchiglia, F.: Abstrips abstraction - Where do we stand? Technical Report 9607-10, ITC-IRST, Trento, Italy, To appear 1999 in the Artificial Intelligence Review (July 1996)"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Halpern, J.Y., Vardi, M.Y.: Model Checking vs. Theorem Proving: A Manifesto. In: Allen, J., Fikes, R., Sandewall, E. (eds.) Principles of Knowledge Representations and Reasoning: Proceedings fo the Second International Conference, pp. 325\u2013334 (1991)","DOI":"10.1016\/B978-0-12-450010-5.50015-3"},{"key":"1_CR18","unstructured":"Kautz, H., Selman, B.: BLACKBOX: A new approach to the application of theorem proving to problem solving. In: Working notes of the AIPS 1998 Workshop on Planning as Combinatorial Search (1998)"},{"key":"1_CR19","unstructured":"Kautz, H., Selman, B.: Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search. In: Proc. AAAI 1996, pp. 1194\u20131201 (1996)"},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"McMillan, K.L.: Symbolic Model Checking. Kluwer Academic Publ., Dordrecht (1993)","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"1_CR21","unstructured":"Penberthy, J., Weld, D.: UCPOP: A sound, complete, partial order planner for ADL. In: Proc. of KR 1992 (1992)"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Jensen, R., Veloso, M.: Obdd-based universal planning: Specifying and solving planning problems for synchronized agents in non-deterministic domains. Technical report, CMU, Carnegie Mellon University, USA (1999)","DOI":"10.1007\/3-540-48317-9_9"},{"key":"1_CR23","unstructured":"Schoppers, M.J.: Universal plans for Reactive Robots in Unpredictable Environments. In: Proc. of the 10th International Joint Conference on Artificial Intelligence, pp. 1039\u20131046 (1987)"},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"Steel, S.: Action under Uncertainty. J. of Logic and Computation, Special Issue on Action and Processes\u00a04(5), 777\u2013795 (1994)","DOI":"10.1093\/logcom\/4.5.767"},{"key":"1_CR25","unstructured":"Stephan, W., Biundo, S.: A New Logical Framework for Deductive Planning. In: Proc. of IJCAI 1993, pp. 32\u201338 (1993)"},{"key":"1_CR26","unstructured":"Traverso, P., Spalazzi, L.: A Logic for Acting, Sensing and Planning. In: Proc. of the 14th International Joint Conference on Artificial Intelligence (1995); Also IRST-Technical Report 9501-03, IRST, Trento, Italy"},{"key":"1_CR27","unstructured":"Vardi, M.Y., Wolper, P.: An automata-theoretic approach to automatic program verification. In: Proc. of LICS 1986, pp. 332\u2013344 (1986)"}],"container-title":["Lecture Notes in Computer Science","Recent Advances in AI Planning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10720246_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T17:10:11Z","timestamp":1558285811000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10720246_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678663","9783540446576"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/10720246_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000]]}}}