{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T05:05:51Z","timestamp":1737435951202,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540427162"},{"type":"electronic","value":"9783540454847"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45484-5_9","type":"book-chapter","created":{"date-parts":[[2007,8,12]],"date-time":"2007-08-12T06:45:25Z","timestamp":1186901125000},"page":"114-122","source":"Crossref","is-referenced-by-count":8,"title":["Verification of Plan Models Using UPPAAL"],"prefix":"10.1007","author":[{"given":"Lina","family":"Khatib","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicola","family":"Muscettola","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Klaus","family":"Havelund","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,10,26]]},"reference":[{"key":"9_CR1","unstructured":"A. Cimatti, M. Roveri, and P. Traverso. 1998. Strong planning in non-deterministic domains via model checking. In the Proceedings of the 4th International Conference on Artificial Intelligence Planning System (AIPS98), pp. 36\u201343. AAAI Press."},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"M. Di Manzo, E. Giunchiglia, and S. Ruffino. 1998. Planning via model checking in deterministic domains: Preliminary report. In the Proceedings of the 8th International Conference on Artificial Intelligence: Methodology, Systems, and Applications (AIMSA98), pp. 221\u2013229. Springer-Verlag.","DOI":"10.1007\/BFb0057447"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"K. Havelund, K. G. Larsen, and A. Skou. 1999. Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL. In the Proceedings of the 5th International AMAST Workshop on Real-Time and Probabilistic Systems.","DOI":"10.1007\/3-540-48778-6_17"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"K. Havelund, A. Skou, K. G. Larsen, and K. Lund. 1997. Formal Modeling and Analysis of an Audio\/Video Protocol: An Industrial Case Study Using UPPAAL. In the Proceedings of the 18th IEEE Real-Time Systems Symposium, pages 14\u201324. San Francisco, California.","DOI":"10.7146\/brics.v4i31.18957"},{"key":"9_CR5","unstructured":"A. K. Jonsson, P. H. Morris, N. Muscettola, and K. Rajan. 1999. Planning in Interplanetary Space: Theory and Practice. American Association for Artificial Intelligence (AAAI-99)"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"K. G. Larsen, P. Pettersson, and W. Yi. 1997. UPPAAL in a Nutshell In Springer International Journal of Software Tools for Technology Transfer 1(1+2).","DOI":"10.1007\/s100090050010"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"K. G. Larsen, F. Larsson, P. Pettersson, and W. Yi. 1997. Efficient Verification of Real-Time Systems: Compact Data Structures and State-Space Reduction. In the Proceedings of the 18th IEEE Real-Time Systems Symposium, pages 14\u201324. IEEE Computer Society Press.","DOI":"10.1109\/REAL.1997.641265"},{"issue":"1\u20132","key":"9_CR8","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/S0004-3702(98)00068-X","volume":"103","author":"Muscettola","year":"1998","unstructured":"Muscettola, P. P. Nayak, B. Pell, and B. William. 1998 Remote Agent: To boldly go where no AI system has gone before. Artificial Intelligence 103(1\u20132):5\u201348","journal-title":"Artificial Intelligence"},{"key":"9_CR9","unstructured":"N. Muscettola. 1994. HSTS: Integrated planning and scheduling. In M. Zweben and M. Fox, eds., Intelligent Scheduling. Morgan Kaufman. 169\u2013212"},{"key":"9_CR10","unstructured":"J. Penix, C. Pecheur, K. Havelund. 1998. Using Model Checking to Validate AI Planner Domain Models. In the Proceedings of the 23rd Annual Software Engineering Workshop, NASA Goddard."},{"key":"9_CR11","unstructured":"W. Yi, P. Pettersson, and M. Daniels. 1994. Automatic Verification of Real-Time Communicating Systems by Constraint-Solving. In Dieter Hogrefe and Stefan Leue, editors, Proceedings of the 7th International Conference on Formal Description Techniques, pages 223\u2013238. North-Holland."}],"container-title":["Lecture Notes in Computer Science","Formal Approaches to Agent-Based Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45484-5_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T08:50:02Z","timestamp":1737363002000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45484-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540427162","9783540454847"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-45484-5_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}