{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:24:48Z","timestamp":1725492288218},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540404507"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/3-540-45023-8_22","type":"book-chapter","created":{"date-parts":[[2007,10,7]],"date-time":"2007-10-07T00:19:23Z","timestamp":1191716363000},"page":"226-235","source":"Crossref","is-referenced-by-count":6,"title":["Framework for Multi-agent Planning Based on Hybrid Automata"],"prefix":"10.1007","author":[{"given":"Amal El","family":"Fallah-Seghrouchni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Irene","family":"Degirmenciyan-Cartault","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frederic","family":"Marc","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"R. Alami, F. Robert, F. Ingrand, and S. Suzuku. A paradigm for plan-merging and its use for multi-robot cooperation. In Proceedings of IEEE International Conference on Systems, Man and Cybernetics. San Antonio, Texas, March 1994.","DOI":"10.1109\/ICSMC.1994.399907"},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"J. F. Allen. Maintaining knowledge about temporal intervals. Communications of the ACM, 26(11), 1983.","DOI":"10.1145\/182.358434"},{"issue":"3","key":"22_CR3","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, 126(3):183\u2013235, November 1994.","journal-title":"Theoretical Computer Science"},{"key":"22_CR4","unstructured":"I. Degirmenciyan-Cartault and F. Marc. Scala: Une approche pour la simulation de systemes complexes application a la simulation de missions aeriennes. JFIAD 2002, October 2002."},{"issue":"3","key":"22_CR5","first-page":"121","volume":"1","author":"E. H. Durfee","year":"1999","unstructured":"E. H. Durfee. Distributed problem solving and planning. Multiagent Systems A Modern Approach to Distributed Artificial Intelligence, 1(3):121\u2013164, November 1999.","journal-title":"Multiagent Systems A Modern Approach to Distributed Artificial Intelligence"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"A. ElFallah-Seghrouchni and S. Haddad. A coordination algorithm for multiagent planning. In Proceedings of MAAMAW\u201996. LNAI 1038, Springer-Verlag, Eindhoven,Pays-Bas 1996.","DOI":"10.1007\/BFb0031848"},{"key":"22_CR7","unstructured":"A. ElFallah-Seghrouchni and S. Haddad. A recursive model for distributed planning. In Proceedings of ICMAS\u201996. AAAI Press, Japon 1996."},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"R.P. Goldman, D. J. Musliner, and M. J. S. Pelican. Exploiting implicit representations in timed automaton verification for controller synthesis. In Proceedings 2002 Hybrid Systems: Computation and Control Workshop, March 2002.","DOI":"10.1007\/3-540-45873-5_19"},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"T.A. Henzinger. The theory of hybrid automata. In Proceedings 11th IEEE Symposium Logic in Computer Science, pages 278\u2013292. LCAIS\u201996, July 1996.","DOI":"10.1109\/LICS.1996.561342"},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"F.V. Martial. Coordinating Plans of Autonomous Agents. Springer-Verlag, LNAI, 1992.","DOI":"10.1007\/BFb0016366"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"D. J. Musliner. CIRCA: The Cooperative Intelligent Real-Time Control Architecture. PhD Thesis, University of Michigan, 1993.","DOI":"10.1109\/21.257754"}],"container-title":["Lecture Notes in Computer Science","Multi-Agent Systems and Applications III"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45023-8_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:07:47Z","timestamp":1605629267000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45023-8_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540404507"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-45023-8_22","relation":{},"subject":[]}}