{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T18:35:47Z","timestamp":1743014147788,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540688464"},{"type":"electronic","value":"9783540688471"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-68847-1_24","type":"book-chapter","created":{"date-parts":[[2008,7,17]],"date-time":"2008-07-17T08:26:35Z","timestamp":1216283195000},"page":"262-269","source":"Crossref","is-referenced-by-count":4,"title":["Model Checking Hybrid Multiagent Systems for the RoboCup"],"prefix":"10.1007","author":[{"given":"Ulrich","family":"Furbach","sequence":"first","affiliation":[]},{"given":"Jan","family":"Murray","sequence":"additional","affiliation":[]},{"given":"Falk","family":"Schmidsberger","sequence":"additional","affiliation":[]},{"given":"Frieder","family":"Stolzenburg","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"24_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/978-3-540-25940-4_13","volume-title":"RoboCup 2003: Robot Soccer World Cup VII","author":"J. Murray","year":"2004","unstructured":"Murray, J.: Specifying agent behaviors with UML statecharts and StatEdit. In: Polani, D., Browning, B., Bonarini, A., Yoshida, K. (eds.) RoboCup 2003. LNCS (LNAI), vol.\u00a03020, pp. 145\u2013156. Springer, Heidelberg (2004)"},{"key":"24_CR2","doi-asserted-by":"crossref","unstructured":"Henzinger, T.: The theory of hybrid automata. In: Proceedings of the 11th Annual Symposium on Logic in Computer Science, pp. 278\u2013292. IEEE Computer Society Press (1996)","DOI":"10.1109\/LICS.1996.561342"},{"key":"24_CR3","doi-asserted-by":"crossref","unstructured":"Tadokoro, S., et al.: The RoboCup-Rescue project: A robotic approach to the disaster mitigation problem. In: Proceedings of IEEE International Conference on Robotics and Automation (ICRA 2000), pp. 4089\u20134104 (2000)","DOI":"10.1109\/ROBOT.2000.845369"},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"Murray, J., Stolzenburg, F.: Hybrid state machines with timed synchronization for multi-robot system specification. In: Bento, C., et al. (eds.) Proceedings of 12th Portuguese Conference on Artificial Intelligence, pp. 236\u2013241. IEEE Inc. (2005)","DOI":"10.1109\/EPIA.2005.341221"},{"key":"24_CR5","unstructured":"Object Management Group, Inc.: UML Specification, Version 1.5 (March 2003)"},{"key":"24_CR6","unstructured":"Object Management Group, Inc.: UML 2.0 Superstructure Specification (October 2004)"},{"key":"24_CR7","doi-asserted-by":"crossref","unstructured":"Arai, T., Stolzenburg, F.: Multiagent systems specification by UML statecharts aiming at intelligent manufacturing. In: Proceedings of 1st International Joint Conference on Autonomous Agents & Multi-Agent Systems, pp. 11\u201318. ACM Press (2002)","DOI":"10.1145\/544741.544745"},{"key":"24_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1007\/3-540-54415-1_49","volume-title":"TACS 1991","author":"A. Pnueli","year":"1991","unstructured":"Pnueli, A., Shalev, M.: What is in a step: On the semantics of statecharts. In: Ito, T., Meyer, A.R. (eds.) TACS 1991. LNCS, vol.\u00a0526, pp. 244\u2013264. Springer, Heidelberg (1991)"},{"key":"24_CR9","series-title":"LNAI","first-page":"205","volume-title":"ProMAS 2007","author":"U. Furbach","year":"2008","unstructured":"Furbach, U., Murray, J., Schmidsberger, F., Stolzenburg, F.: Hybrid multiagent systems with timed synchronization \u2013 specification and model checking. In: Dastani, M., El Fallah Seghrouchni, A., Ricci, A., Winikoff, M. (eds.) ProMAS 2007. LNCS (LNAI), vol.\u00a04908, pp. 205\u2013220. Springer, Heidelberg (2008)"},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A., Ho, P.H., Wong-Toi, H.: HyTech: The Next Generation. In: IEEE Real-Time Systems Symposium, pp. 56\u201365 (1995)","DOI":"10.1109\/REAL.1995.495196"},{"key":"24_CR11","unstructured":"Ruh, F.: A translator for cooperative strategies of mobile agents for four-legged robots. Master thesis, Dept. of Automation and Computer Sciences, Hochschule Harz (2007)"}],"container-title":["Lecture Notes in Computer Science","RoboCup 2007: Robot Soccer World Cup XI"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68847-1_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T01:49:01Z","timestamp":1738288141000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68847-1_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540688464","9783540688471"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68847-1_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}