{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:50:46Z","timestamp":1725511846421},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540790426"},{"type":"electronic","value":"9783540790433"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-79043-3_13","type":"book-chapter","created":{"date-parts":[[2008,4,28]],"date-time":"2008-04-28T11:20:08Z","timestamp":1209381608000},"page":"205-220","source":"Crossref","is-referenced-by-count":6,"title":["Hybrid Multiagent Systems with Timed Synchronization \u2013 Specification and Model Checking"],"prefix":"10.1007","author":[{"given":"Ulrich","family":"Furbach","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Murray","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Falk","family":"Schmidsberger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frieder","family":"Stolzenburg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/544741.544745","volume-title":"Proceedings of 1st International Joint Conference on Autonomous Agents & Multi-Agent Systems","author":"T. Arai","year":"2002","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, New York (2002)"},{"key":"13_CR2","unstructured":"Bernstein, T., et al.: HAL \u2013 hybrid automaton language. Team project description (in German), Department of Automation and Computer Sciences, Hochschule Harz (2006)"},{"key":"13_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-97596-7","volume-title":"Programming in Prolog","author":"W.F. Clocksin","year":"1994","unstructured":"Clocksin, W.F., Mellish, C.S.: Programming in Prolog, 4th edn. Springer, Berlin (1994)","edition":"4"},{"key":"13_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1007\/978-3-540-31954-2_17","volume-title":"Hybrid Systems: Computation and Control","author":"G. Frehse","year":"2005","unstructured":"Frehse, G.: PHAVer: Algorithmic verification of hybrid systems past HyTech. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol.\u00a03414, pp. 258\u2013273. Springer, Heidelberg (2005)"},{"issue":"4","key":"13_CR5","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/235321.235322","volume":"5","author":"D. Harel","year":"1996","unstructured":"Harel, D., Naamad, A.: The STATEMATE semantics of statecharts. ACM Transactions on Software Engineering and Methodology\u00a05(4), 293\u2013333 (1996)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"13_CR6","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1109\/LICS.1996.561342","volume-title":"Proceedings of the 11th Annual Symposium on Logic in Computer Science","author":"T. Henzinger","year":"1996","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, Los Alamitos (1996)"},{"key":"13_CR7","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":"13_CR8","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A., Majumdar, R.: Symbolic model checking for rectangular hybrid systems. In: Tools and Algorithms for Construction and Analysis of Systems, pp. 142\u2013156 (2000)","DOI":"10.1007\/3-540-46419-0_11"},{"key":"13_CR9","series-title":"Lecture Notes in Artificial Intelligence","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, Springer, Heidelberg (2004)"},{"key":"13_CR10","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1109\/EPIA.2005.341221","volume-title":"Proceedings of 12th Portuguese Conference on Artificial Intelligence","author":"J. Murray","year":"2005","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, Los Alamitos (2005)"},{"key":"13_CR11","first-page":"45","volume":"3\/06","author":"J. Murray","year":"2006","unstructured":"Murray, J., Stolzenburg, F., Arai, T.: Hybrid state machines with timed synchronization for multi-robot system specification. KI\u00a03\/06, 45\u201350 (2006)","journal-title":"KI"},{"key":"13_CR12","unstructured":"Object Management Group, Inc. UML Specification, Version 1.5 (March 2003)"},{"key":"13_CR13","unstructured":"Object Management Group, Inc. UML 2.0 Superstructure Specification (October 2004)"},{"key":"13_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1007\/3-540-54415-1_49","volume-title":"Theoretical Aspects of Computer Software","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":"13_CR15","unstructured":"Rao, A.S., Georgeff, M.P.: BDI-agents: from theory to practice. In: Proceedings of the First Intl. Conference on Multiagent Systems, San Francisco (1995)"},{"key":"13_CR16","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)"},{"key":"13_CR17","unstructured":"Stolzenburg, F.: Multiagent systems and RoboCup: Specification, analysis, and theoretical results. Habilitation, Universit\u00e4t Koblenz-Landau, Koblenz, Reviewers: Armin\u00a0Cremers, Ulrich\u00a0Furbach, and Klaus\u00a0Troitzsch (2005)"},{"key":"13_CR18","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1007\/978-3-540-39869-1_12","volume-title":"Multiagent System Technologies","author":"F. Stolzenburg","year":"2003","unstructured":"Stolzenburg, F., Arai, T.: From the specification of multiagent systems by statecharts to their formal analysis by model checking: Towards safety-critical applications. In: Schillo, M., Klusch, M., M\u00fcller, J., Tianfield, H. (eds.) MATES 2003. LNCS (LNAI), vol.\u00a02831, pp. 131\u2013143. Springer, Heidelberg (2003)"},{"key":"13_CR19","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"}],"container-title":["Lecture Notes in Computer Science","Programming Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-79043-3_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:09:31Z","timestamp":1619507371000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-79043-3_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540790426","9783540790433"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-79043-3_13","relation":{},"subject":[]}}