{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T08:26:52Z","timestamp":1743064012233,"version":"3.37.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030005320"},{"type":"electronic","value":"9783030005337"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-00533-7_10","type":"book-chapter","created":{"date-parts":[[2018,10,2]],"date-time":"2018-10-02T02:38:28Z","timestamp":1538447908000},"page":"123-134","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Optimization of Swarm Behavior Assisted by an Automatic Local Proof for a Pattern Formation Task"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4694-2960","authenticated-orcid":false,"given":"Mario","family":"Coppola","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8265-1496","authenticated-orcid":false,"given":"Guido C. H. E.","family":"de Croon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,10,3]]},"reference":[{"key":"10_CR1","unstructured":"Coppola, M., Guo, J., Gill, E.K., de Croon, G.C.H.E.: Provable emergent pattern formation by a swarm of anonymous, homogeneous, non-communicating, reactive robots with limited relative sensing and no global knowledge or positioning. ArXiv Preprint arXiv:1804.06827 (2018). (Submitted to Swarm Intelligence, Springer)"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Coppola, M., McGuire, K.N., Scheper, K.Y.W., de Croon, G.C.H.E.: On-board communication-based relative localization for collision avoidance in micro air vehicle teams. Auton. Robots (2018)","DOI":"10.1007\/s10514-018-9760-3"},{"issue":"3","key":"10_CR3","doi-asserted-by":"publisher","first-page":"e0151834","DOI":"10.1371\/journal.pone.0151834","volume":"11","author":"M Duarte","year":"2016","unstructured":"Duarte, M., et al.: Evolution of collective behaviors for a real swarm of aquatic surface robots. PloS One 11(3), e0151834 (2016)","journal-title":"PloS One"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Ericksen, J., Moses, M., Forrest, S.: Automatically evolving a general controller for robot swarms. In: 2017 IEEE Symposium Series on Computational Intelligence, SSCI, pp. 1\u20138 (2017)","DOI":"10.1109\/SSCI.2017.8285399"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Ferrante, E., Du\u00e9\u00f1ez Guzm\u00e1n, E., Turgut, A.E., Wenseleers, T.: GESwarm: grammatical evolution for the automatic synthesis of collective behaviors in swarm robotics. In: Proceedings of the 15th Annual Conference on Genetic and Evolutionary Computation, GECCO 2013, pp. 17\u201324. ACM, New York (2013)","DOI":"10.1145\/2463372.2463385"},{"key":"10_CR6","doi-asserted-by":"publisher","first-page":"29","DOI":"10.3389\/frobt.2016.00029","volume":"3","author":"G Francesca","year":"2016","unstructured":"Francesca, G., Birattari, M.: Automatic design of robot swarms: achievements and challenges. Front. Robot. AI 3, 29 (2016)","journal-title":"Front. Robot. AI"},{"issue":"2","key":"10_CR7","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/s11721-015-0107-9","volume":"9","author":"G Francesca","year":"2015","unstructured":"Francesca, G., et al.: AutoMoDe-Chocolate: automatic design of control software for robot swarms. Swarm Intell. 9(2), 125\u2013152 (2015)","journal-title":"Swarm Intell."},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/978-3-642-32650-9_8","volume-title":"Swarm Intelligence","author":"J Gomes","year":"2012","unstructured":"Gomes, J., Urbano, P., Christensen, A.L.: Introducing novelty search in evolutionary swarm robotics. In: Dorigo, M., et al. (eds.) ANTS 2012. LNCS, vol. 7461, pp. 85\u201396. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-32650-9_8"},{"issue":"2","key":"10_CR9","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/s11721-013-0081-z","volume":"7","author":"J Gomes","year":"2013","unstructured":"Gomes, J., Urbano, P., Christensen, A.L.: Evolution of swarm robotics systems with novelty search. Swarm Intell. 7(2), 115\u2013144 (2013)","journal-title":"Swarm Intell."},{"key":"10_CR10","unstructured":"H\u00fcttenrauch, M., \u0160o\u0161i\u0107, A., Neumann, G.: Guided deep reinforcement learning for swarm systems. ArXiv Preprint arXiv:1709.06011 (2017)"},{"issue":"2","key":"10_CR11","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/s12065-014-0111-9","volume":"7","author":"D Izzo","year":"2014","unstructured":"Izzo, D., Sim\u00f5es, L.F., de Croon, G.C.H.E.: An evolutionary robotics approach for the distributed control of satellite formations. Evol. Intell. 7(2), 107\u2013118 (2014)","journal-title":"Evol. Intell."},{"key":"10_CR12","series-title":"Springer Proceedings in Advanced Robotics","doi-asserted-by":"publisher","first-page":"487","DOI":"10.1007\/978-3-319-73008-0_34","volume-title":"Distributed Autonomous Robotic Systems","author":"S Jones","year":"2018","unstructured":"Jones, S., Studley, M., Hauert, S., Winfield, A.: Evolving behaviour trees for swarm robotics. In: Gro\u00df, R., et al. (eds.) Distributed Autonomous Robotic Systems. SPAR, vol. 6, pp. 487\u2013501. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-73008-0_34"},{"issue":"4","key":"10_CR13","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1109\/MCS.2007.384126","volume":"27","author":"E Klavins","year":"2007","unstructured":"Klavins, E.: Programmable self-assembly. IEEE Control Syst. 27(4), 43\u201356 (2007)","journal-title":"IEEE Control Syst."},{"issue":"1\u20134","key":"10_CR14","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/S0925-2312(01)00598-7","volume":"42","author":"S Nolfi","year":"2002","unstructured":"Nolfi, S.: Power and the limits of reactive agents. Neurocomputing 42(1\u20134), 119\u2013145 (2002)","journal-title":"Neurocomputing"},{"issue":"6198","key":"10_CR15","doi-asserted-by":"publisher","first-page":"795","DOI":"10.1126\/science.1254295","volume":"345","author":"M Rubenstein","year":"2014","unstructured":"Rubenstein, M., Cornejo, A., Nagpal, R.: Programmable self-assembly in a thousand-robot swarm. Science 345(6198), 795\u2013799 (2014)","journal-title":"Science"},{"issue":"1","key":"10_CR16","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/s10846-016-0338-z","volume":"84","author":"M Saska","year":"2016","unstructured":"Saska, M., Von\u00e1sek, V., Chudoba, J., Thomas, J., Loianno, G., Kumar, V.: Swarm distribution and deployment for cooperative surveillance by micro-aerial vehicles. J. Intell. Robot. Syst. 84(1), 469\u2013492 (2016)","journal-title":"J. Intell. Robot. Syst."},{"issue":"2","key":"10_CR17","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1162\/EVCO_a_00172","volume":"24","author":"F Silva","year":"2016","unstructured":"Silva, F., Duarte, M., Correia, L., Oliveira, S.M., Christensen, A.L.: Open issues in evolutionary robotics. Evol. Comput. 24(2), 205\u2013236 (2016)","journal-title":"Evol. Comput."},{"issue":"2","key":"10_CR18","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/j.robot.2005.09.018","volume":"54","author":"V Trianni","year":"2006","unstructured":"Trianni, V., Nolfi, S., Dorigo, M.: Cooperative hole avoidance in a swarm-bot. Robot. Auton. Syst. 54(2), 97\u2013103 (2006)","journal-title":"Robot. Auton. Syst."},{"key":"10_CR19","unstructured":"Yamins, D., Nagpal, R.: Automated global-to-local programming in 1-D spatial multi-agent systems. In: Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2008, vol. 2, pp. 615\u2013622. International Foundation for Autonomous Agents and Multiagent Systems, Richland (2008)"}],"container-title":["Lecture Notes in Computer Science","Swarm Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-00533-7_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,25]],"date-time":"2019-10-25T02:38:52Z","timestamp":1571971132000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-00533-7_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030005320","9783030005337"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-00533-7_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"ANTS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Swarm Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rome","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 October 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 October 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"antsw2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/iridia.ulb.ac.be\/ants2018\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}