{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,27]],"date-time":"2026-05-27T15:42:27Z","timestamp":1779896547393,"version":"3.53.1"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642232312","type":"print"},{"value":"9783642232329","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-23232-9_30","type":"book-chapter","created":{"date-parts":[[2011,8,24]],"date-time":"2011-08-24T06:57:44Z","timestamp":1314169064000},"page":"336-347","source":"Crossref","is-referenced-by-count":17,"title":["Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems"],"prefix":"10.1007","author":[{"given":"Clare","family":"Dixon","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alan","family":"Winfield","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michael","family":"Fisher","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"2","key":"30_CR1","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1016\/j.tcs.2005.11.026","volume":"354","author":"R. Alur","year":"2006","unstructured":"Alur, R., Dang, T., Ivan\u010di\u0107, F.: Counterexample-Guided Predicate Abstraction of Hybrid Systems. Theoretical Computer Science\u00a0354(2), 250\u2013271 (2006)","journal-title":"Theoretical Computer Science"},{"issue":"5","key":"30_CR2","doi-asserted-by":"publisher","first-page":"655","DOI":"10.1109\/TRA.2002.806024","volume":"18","author":"T. Arai","year":"2002","unstructured":"Arai, T., Pagello, E., Parker, L.: Editorial: Advances in Multi-Robot Systems. IEEE Trans. Robotics and Automation\u00a018(5), 655\u2013661 (2002)","journal-title":"IEEE Trans. Robotics and Automation"},{"key":"30_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-30552-1_1","volume-title":"Swarm Robotics","author":"G. Beni","year":"2005","unstructured":"Beni, G.: From Swarm Intelligence to Swarm Robotics. In: \u015eahin, E., Spears, W.M. (eds.) Swarm Robotics 2004. LNCS, vol.\u00a03342, pp. 1\u20139. Springer, Heidelberg (2005)"},{"key":"30_CR4","unstructured":"Bjerknes, J.D.: Scaling and Fault Tolerance in Self-organised Swarms of Mobile Robots. Ph.D. thesis, University of the West of England (2010)"},{"key":"30_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","volume-title":"Computer Aided Verification","author":"A. Cimatti","year":"2002","unstructured":"Cimatti, A., Clarke, E.M., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV 2: An OpenSource Tool for Symbolic Model Checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, p. 359. Springer, Heidelberg (2002)"},{"key":"30_CR6","volume-title":"Model Checking","author":"E. Clarke","year":"2000","unstructured":"Clarke, E., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (2000)"},{"key":"30_CR7","doi-asserted-by":"crossref","unstructured":"Clarke, E.M., Grumberg, O.: Avoiding The State Explosion Problem in Temporal Logic Model Checking. In: ACM Symposium on Principles of Distributed Computing (PODC), pp. 294\u2013303 (1987)","DOI":"10.1145\/41840.41865"},{"issue":"5","key":"30_CR8","doi-asserted-by":"publisher","first-page":"752","DOI":"10.1145\/876638.876643","volume":"50","author":"E.M. Clarke","year":"2003","unstructured":"Clarke, E.M., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Counterexample-Guided Abstraction Refinement for Symbolic Model Checking. J. ACM\u00a050(5), 752\u2013794 (2003)","journal-title":"J. ACM"},{"key":"30_CR9","doi-asserted-by":"crossref","unstructured":"Fainekos, G., Kress-Gazit, H., Pappas, G.: Temporal Logic Motion Planning for Mobile Robots. In: Proceedings of the IEEE International Conference on Robotics and Automation (ICRA), pp. 2020\u20132025 (2005)","DOI":"10.1109\/ROBOT.2005.1570410"},{"key":"30_CR10","series-title":"Cognitive Systems Monographs","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13377-0","volume-title":"Space-Time Continuous Models of Swarm Robotic Systems: Supporting Global-to-Local Programming","author":"H. Hamann","year":"2010","unstructured":"Hamann, H.: Space-Time Continuous Models of Swarm Robotic Systems: Supporting Global-to-Local Programming. Cognitive Systems Monographs. Springer, Heidelberg (2010)"},{"issue":"1-2","key":"30_CR11","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/s100090050008","volume":"1","author":"T. Henzinger","year":"1997","unstructured":"Henzinger, T., Ho, P.H., Wong-Toi, H.: HYTECH: A Model Checker for Hybrid Systems. International Journal on Software Tools for Technology Transfer\u00a01(1-2), 110\u2013122 (1997)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"30_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/11691372_29","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A. Hinton","year":"2006","unstructured":"Hinton, A., Kwiatkowska, M., Norman, G., Parker, D.: PRISM: A Tool for Automatic Verification of Probabilistic Systems. In: Hermanns, H. (ed.) TACAS 2006. LNCS, vol.\u00a03920, pp. 441\u2013444. Springer, Heidelberg (2006)"},{"key":"30_CR13","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1109\/TRO.2006.889492","volume":"23","author":"M. Kloetzer","year":"2007","unstructured":"Kloetzer, M., Belta, C.: Temporal Logic Planning and Control of Robotic Swarms by Hierarchical Abstractions. IEEE Transactions on Robotics\u00a023, 320\u2013330 (2007)","journal-title":"IEEE Transactions on Robotics"},{"key":"30_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1007\/978-3-642-15461-4_42","volume-title":"Swarm Intelligence","author":"S. Konur","year":"2010","unstructured":"Konur, S., Dixon, C., Fisher, M.: Formal Verification of Probabilistic Swarm Behaviours. In: Dorigo, M., Birattari, M., Di Caro, G.A., Doursat, R., Engelbrecht, A.P., Floreano, D., Gambardella, L.M., Gro\u00df, R., \u015eahin, E., Sayama, H., St\u00fctzle, T. (eds.) ANTS 2010. LNCS, vol.\u00a06234, pp. 440\u2013447. Springer, Heidelberg (2010)"},{"issue":"4","key":"30_CR15","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1177\/0278364904042197","volume":"23","author":"A. Martinoli","year":"2004","unstructured":"Martinoli, A., Easton, K., Agassounon, W.: Modeling Swarm Robotic Systems: A Case Study in Collaborative Distributed Manipulation. International Journal of Robotics Research\u00a023(4), 415\u2013436 (2004)","journal-title":"International Journal of Robotics Research"},{"key":"30_CR16","series-title":"Tracts in Advanced Robotics","volume-title":"Cells and Robots: Modeling and Control of Large-Size Agent Populations","author":"D. Milutinovic","year":"2007","unstructured":"Milutinovic, D., Lima, P.: Cells and Robots: Modeling and Control of Large-Size Agent Populations. Tracts in Advanced Robotics, vol.\u00a032. Springer, Heidelberg (2007)"},{"key":"30_CR17","unstructured":"Nembrini, J.: Minimalist Coherent Swarming of Wireless Networked Autonomous Mobile Robots. Ph.D. thesis, University of the West of England (2005)"},{"issue":"2-4","key":"30_CR18","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/s11721-008-0020-6","volume":"2","author":"E. Sahin","year":"2008","unstructured":"Sahin, E., Winfield, A.F.T.: Special issue on Swarm Robotics. Swarm Intelligence\u00a02(2-4), 69\u201372 (2008)","journal-title":"Swarm Intelligence"},{"issue":"2-3","key":"30_CR19","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1023\/B:AURO.0000033970.96785.f2","volume":"17","author":"W.M. Spears","year":"2004","unstructured":"Spears, W.M., Spears, D.F., Hamann, J.C., Heil, R.: Distributed, Physics-Based Control of Swarms of Vehicles. Autonomous Robots\u00a017(2-3), 137\u2013162 (2004)","journal-title":"Autonomous Robots"},{"key":"30_CR20","first-page":"44","volume-title":"SCAI 2001: Proceedings of the Seventh Scandinavian Conference on Artificial Intelligence","author":"K. St\u00f8y","year":"2001","unstructured":"St\u00f8y, K.: Using situated communication in distributed autonomous mobile robotics. In: SCAI 2001: Proceedings of the Seventh Scandinavian Conference on Artificial Intelligence, pp. 44\u201352. IOS Press, Amsterdam (2001)"},{"key":"30_CR21","series-title":"NASA Monographs in Systems and Software Eng.","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/978-1-84628-233-1_10","volume-title":"Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems","author":"W. Truszkowski","year":"2009","unstructured":"Truszkowski, W., Hallock, H., Rouff, C., Karlin, J., Rash, J., Hinchey, M., Sterritt, R.: Swarms in Space Missions. In: Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems. NASA Monographs in Systems and Software Eng., pp. 207\u2013221. Springer, Heidelberg (2009)"},{"issue":"2-4","key":"30_CR22","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/s11721-008-0018-0","volume":"2","author":"A. Winfield","year":"2008","unstructured":"Winfield, A., Liu, W., Nembrini, J., Martinoli, A.: Modelling a wireless connected swarm of mobile robots. Swarm Intelligence\u00a02(2-4), 241\u2013266 (2008)","journal-title":"Swarm Intelligence"},{"issue":"4","key":"30_CR23","doi-asserted-by":"publisher","first-page":"363","DOI":"10.5772\/5769","volume":"2","author":"A. Winfield","year":"2005","unstructured":"Winfield, A., Sa, J., Fern\u00e1ndez-Gago, M.C., Dixon, C., Fisher, M.: On Formal Specification of Emergent Behaviours in Swarm Robotic Systems. International Journal of Advanced Robotic Systems\u00a02(4), 363\u2013370 (2005)","journal-title":"International Journal of Advanced Robotic Systems"},{"issue":"1","key":"30_CR24","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1008984701078","volume":"8","author":"J. Yuh","year":"2000","unstructured":"Yuh, J.: Design and Control of Autonomous Underwater Robots: A Survey. Autonomous Robots\u00a08(1), 7\u201324 (2000)","journal-title":"Autonomous Robots"}],"container-title":["Lecture Notes in Computer Science","Towards Autonomous Robotic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23232-9_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,9]],"date-time":"2025-03-09T06:03:41Z","timestamp":1741500221000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23232-9_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642232312","9783642232329"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23232-9_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}