{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,16]],"date-time":"2026-09-16T16:58:52Z","timestamp":1789577932569,"version":"build-2803163510"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642154607","type":"print"},{"value":"9783642154614","type":"electronic"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-15461-4_42","type":"book-chapter","created":{"date-parts":[[2010,9,3]],"date-time":"2010-09-03T16:14:30Z","timestamp":1283530470000},"page":"440-447","source":"Crossref","is-referenced-by-count":20,"title":["Formal Verification of Probabilistic Swarm Behaviours"],"prefix":"10.1007","author":[{"given":"Savas","family":"Konur","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Clare","family":"Dixon","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michael","family":"Fisher","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"42_CR1","doi-asserted-by":"crossref","unstructured":"Beni, G.: From Swarm Intelligence to Swarm Robotics. In: \u015eahin, E., Spears, W.M. (eds.) SAB 2004. LNCS, vol.\u00a03342, pp. 1\u20139. Springer, Heidelberg (2005)","DOI":"10.1007\/978-3-540-30552-1_1"},{"key":"42_CR2","unstructured":"Bonabeau, E., Dorigo, M., Theraulaz, G.: Swarm Intelligence: From Natural to Artificial Systems. J. Artificial Societies and Social Simulation\u00a04(1) (2001)"},{"key":"42_CR3","volume-title":"Model Checking","author":"E. Clarke","year":"1999","unstructured":"Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)"},{"issue":"6","key":"42_CR4","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1007\/s10009-006-0014-x","volume":"8","author":"M. Duflot","year":"2006","unstructured":"Duflot, M., Kwiatkowska, M., Norman, G., Parker, D.: A Formal Analysis of Bluetooth Device Discovery. Int. J. Software Tools Techn. Transfer\u00a08(6), 621\u2013632 (2006)","journal-title":"Int. J. Software Tools Techn. Transfer"},{"key":"42_CR5","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/BF01211866","volume":"6","author":"H. Hansson","year":"1994","unstructured":"Hansson, H., Jonsson, B.: A Logic for Reasoning about Time and Reliability. Formal Aspects of Computing\u00a06, 102\u2013111 (1994)","journal-title":"Formal Aspects of Computing"},{"key":"42_CR6","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., Palsberg, J. (eds.) TACAS 2006. LNCS, vol.\u00a03920, pp. 441\u2013444. Springer, Heidelberg (2006)"},{"key":"42_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/978-3-540-27835-1_21","volume-title":"Biologically Inspired Approaches to Advanced Information Technology","author":"T.H. Labella","year":"2004","unstructured":"Labella, T.H., Dorigo, M., Deneubourg, J.L.: Efficiency and Task Allocation in Prey Retrieval. In: Ijspeert, A.J., Murata, M., Wakamiya, N. (eds.) BioADIT 2004. LNCS, vol.\u00a03141, pp. 274\u2013289. Springer, Heidelberg (2004)"},{"issue":"2","key":"42_CR8","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1023\/A:1019633424543","volume":"13","author":"K. Lerman","year":"2002","unstructured":"Lerman, K., Galstyan, A.: Mathematical Model of Foraging in a Group of Robots: Effect of Interference. Autonomous Robots\u00a013(2), 127\u2013141 (2002)","journal-title":"Autonomous Robots"},{"key":"42_CR9","doi-asserted-by":"crossref","unstructured":"Lerman, K., Martinoli, A., Galstyan, A.: A Review of Probabilistic Macroscopic Models for Swarm Robotic Systems. In: \u015eahin, E., Spears, W.M. (eds.) SAB 2004. LNCS, vol.\u00a03342, pp. 143\u2013152. Springer, Heidelberg (2005)","DOI":"10.1007\/978-3-540-30552-1_12"},{"key":"42_CR10","unstructured":"Liu, W., Winfield, A., Sa, J.: Modelling Swarm Robotic Systems: A Study in Collective Foraging. In: Proc. Towards Autonomous Robotic Systems (TAROS), pp. 25\u201332 (2007)"},{"key":"42_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1007\/978-3-540-71541-2_2","volume-title":"Swarm Robotics","author":"W. Liu","year":"2007","unstructured":"Liu, W., Winfield, A., Sa, J., Chen, J., Dou, L.: Strategies for Energy Optimisation in a Swarm of Foraging Robots. In: \u015eahin, E., Spears, W.M., Winfield, A.F.T. (eds.) SAB 2006 Ws 2007. LNCS, vol.\u00a04433, pp. 14\u201326. Springer, Heidelberg (2007)"},{"issue":"2-4","key":"42_CR12","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"}],"container-title":["Lecture Notes in Computer Science","Swarm Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15461-4_42","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T21:28:45Z","timestamp":1558301325000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15461-4_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642154607","9783642154614"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15461-4_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}