{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T16:31:51Z","timestamp":1759336311440,"version":"3.41.0"},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662545799"},{"type":"electronic","value":"9783662545805"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-662-54580-5_17","type":"book-chapter","created":{"date-parts":[[2017,3,30]],"date-time":"2017-03-30T06:50:09Z","timestamp":1490856609000},"page":"286-302","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans"],"prefix":"10.1007","author":[{"given":"Anna","family":"Lukina","sequence":"first","affiliation":[]},{"given":"Lukas","family":"Esterle","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Hirsch","sequence":"additional","affiliation":[]},{"given":"Ezio","family":"Bartocci","sequence":"additional","affiliation":[]},{"given":"Junxing","family":"Yang","sequence":"additional","affiliation":[]},{"given":"Ashish","family":"Tiwari","sequence":"additional","affiliation":[]},{"given":"Scott A.","family":"Smolka","sequence":"additional","affiliation":[]},{"given":"Radu","family":"Grosu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,3,31]]},"reference":[{"issue":"4","key":"17_CR1","doi-asserted-by":"publisher","first-page":"777","DOI":"10.1016\/j.anbehav.2009.07.007","volume":"78","author":"IL Bajec","year":"2009","unstructured":"Bajec, I.L., Heppner, F.H.: Organized flight in birds. Anim. Behav. 78(4), 777\u2013789 (2009)","journal-title":"Anim. Behav."},{"key":"17_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/978-3-319-43425-4_17","volume-title":"Quantitative Evaluation of Systems","author":"E Bartocci","year":"2016","unstructured":"Bartocci, E., Bortolussi, L., Br\u00e1zdil, T., Milios, D., Sanguinetti, G.: Policy learning for time-bounded reachability in continuous-time Markov decision processes via doubly-stochastic gradient ascent. In: Agha, G., Houdt, B. (eds.) QEST 2016. LNCS, vol. 9826, pp. 244\u2013259. Springer, Heidelberg (2016). doi:10.1007\/978-3-319-43425-4_17"},{"issue":"1","key":"17_CR3","first-page":"351","volume":"15","author":"J Baxter","year":"2011","unstructured":"Baxter, J., Bartlett, P.L., Weaver, L.: Experiments with infinite-horizon, policy-gradient estimation. J. Artif. Int. Res. 15(1), 351\u2013381 (2011)","journal-title":"J. Artif. Int. Res."},{"key":"17_CR4","volume-title":"Dynamic Programming","author":"R Bellman","year":"1957","unstructured":"Bellman, R.: Dynamic Programming. Princeton University Press, Princeton (1957)"},{"key":"17_CR5","series-title":"Advanced Textbooks in Control and Signal Processing","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-85729-398-5","volume-title":"Model Predictive Control","author":"EF Camacho","year":"2007","unstructured":"Camacho, E.F., Alba, C.B.: Model Predictive Control. Advanced Textbooks in Control and Signal Processing. Springer, Heidelberg (2007)"},{"issue":"5","key":"17_CR6","doi-asserted-by":"publisher","first-page":"2038","DOI":"10.1109\/TSP.2011.2107907","volume":"59","author":"FS Cattivelli","year":"2011","unstructured":"Cattivelli, F.S., Sayed, A.H.: Modeling bird flight formations using diffusion adaptation. IEEE Trans. Signal Process. 59(5), 2038\u20132051 (2011)","journal-title":"IEEE Trans. Signal Process."},{"issue":"4","key":"17_CR7","doi-asserted-by":"publisher","first-page":"21:1","DOI":"10.1145\/2629613","volume":"61","author":"B Chazelle","year":"2014","unstructured":"Chazelle, B.: The convergence of bird flocking. J. ACM 61(4), 21:1\u201321:35 (2014)","journal-title":"J. ACM"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Chen, Y., Wu, B., Lai, T.L.: Fast Particle Filters and Their Applications to Adaptive Control in Change-Point ARX Models and Robotics. INTECH Open Access Publisher (2009)","DOI":"10.5772\/6424"},{"issue":"1","key":"17_CR9","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1242\/jeb.189.1.251","volume":"189","author":"C Cutts","year":"1994","unstructured":"Cutts, C., Speakman, J.: Energy savings in formation flight of pink-footed geese. J. Exp. Biol. 189(1), 251\u2013261 (1994)","journal-title":"J. Exp. Biol."},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Dang, A.D., Horn, J.: Formation control of autonomous robots following desired formation during tracking a moving target. In: Proceedings of the International Conference on Cybernetics, pp. 160\u2013165. IEEE (2015)","DOI":"10.1109\/CYBConf.2015.7175925"},{"key":"17_CR11","first-page":"1","volume":"51","author":"G Dimock","year":"2003","unstructured":"Dimock, G., Selig, M.: The aerodynamic benefits of self-organization in bird flocks. Urbana 51, 1\u20139 (2003)","journal-title":"Urbana"},{"key":"17_CR12","volume-title":"The Computational Beauty of Nature: Computer Explorations of Fractals, Chaos, Complex Systems, and Adaptation","author":"GW Flake","year":"1998","unstructured":"Flake, G.W.: The Computational Beauty of Nature: Computer Explorations of Fractals, Chaos, Complex Systems, and Adaptation. MIT Press, Cambridge (1998)"},{"issue":"3","key":"17_CR13","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1016\/0005-1098(89)90002-2","volume":"25","author":"CE Garc\u00eda","year":"1989","unstructured":"Garc\u00eda, C.E., Prett, D.M., Morari, M.: Model predictive control: theory and practice \u2013 a survey. Automatica 25(3), 335\u2013348 (1989)","journal-title":"Automatica"},{"key":"17_CR14","unstructured":"Gennaro, M.C.D., Iannelli, L., Vasca, F.: Formation control and collision avoidance in mobile agent systems. In: Proceedings of the International Symposium on Control and Automation Intelligent Control, pp. 796\u2013801. IEEE (2005)"},{"issue":"4","key":"17_CR15","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1287\/opre.47.4.585","volume":"47","author":"P Glasserman","year":"1999","unstructured":"Glasserman, P., Heidelberger, P., Shahabuddin, P., Zajic, T.: Multilevel splitting for estimating rare event probabilities. Oper. Res. 47(4), 585\u2013600 (1999)","journal-title":"Oper. Res."},{"key":"17_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/978-3-662-45231-8_16","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications","author":"R Grosu","year":"2014","unstructured":"Grosu, R., Peled, D., Ramakrishnan, C.R., Smolka, S.A., Stoller, S.D., Yang, J.: Using statistical model checking for measuring systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014. LNCS, vol. 8803, pp. 223\u2013238. Springer, Heidelberg (2014). doi:10.1007\/978-3-662-45231-8_16"},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"Henriques, D., Martins, J.G., Zuliani, P., Platzer, A., Clarke, E.M.: Statistical model checking for Markov decision processes. In: Proceedings of QEST 2012: The Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, pp. 84\u201393. IEEE Computer Society (2012)","DOI":"10.1109\/QEST.2012.19"},{"issue":"2","key":"17_CR18","doi-asserted-by":"publisher","first-page":"160","DOI":"10.2307\/4512025","volume":"45","author":"FH Heppner","year":"1974","unstructured":"Heppner, F.H.: Avian flight formations. Bird-Banding 45(2), 160\u2013169 (1974)","journal-title":"Bird-Banding"},{"key":"17_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-540-24622-0_8","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"T H\u00e9rault","year":"2004","unstructured":"H\u00e9rault, T., Lassaigne, R., Magniette, F., Peyronnet, S.: Approximate probabilistic model checking. In: Steffen, B., Levi, G. (eds.) VMCAI 2004. LNCS, vol. 2937, pp. 73\u201384. Springer, Heidelberg (2004). doi:10.1007\/978-3-540-24622-0_8"},{"issue":"1","key":"17_CR20","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1080\/10556788.2010.509435","volume":"27","author":"Y Hung","year":"2012","unstructured":"Hung, Y., Wang, W.: Accelerating parallel particle swarm optimization via GPU. Optim. Methods Softw. 27(1), 33\u201351 (2012)","journal-title":"Optim. Methods Softw."},{"key":"17_CR21","first-page":"27","volume":"12","author":"H Kahn","year":"1951","unstructured":"Kahn, H., Harris, T.E.: Estimation of particle transmission by random sampling. Natl. Bur. Stand. Appl. Math. Ser. 12, 27\u201330 (1951)","journal-title":"Natl. Bur. Stand. Appl. Math. Ser."},{"key":"17_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/978-3-319-47166-2_4","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques","author":"K Kalajdzic","year":"2016","unstructured":"Kalajdzic, K., Jegourel, C., Lukina, A., Bartocci, E., Legay, A., Smolka, S.A., Grosu, R.: Feedback control for statistical model checking of cyber-physical systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9952, pp. 46\u201361. Springer, Heidelberg (2016). doi:10.1007\/978-3-319-47166-2_4"},{"key":"17_CR23","doi-asserted-by":"crossref","unstructured":"Kennedy, J., Eberhart, R.: Particle swarm optimization. In: Proceedings of 1995 IEEE International Conference on Neural Networks, pp. 1942\u20131948 (1995)","DOI":"10.1109\/ICNN.1995.488968"},{"issue":"3934","key":"17_CR24","doi-asserted-by":"publisher","first-page":"1003","DOI":"10.1126\/science.168.3934.1003","volume":"168","author":"P Lissaman","year":"1970","unstructured":"Lissaman, P., Shollenberger, C.A.: Formation flight of birds. Science 168(3934), 1003\u20131005 (1970)","journal-title":"Science"},{"key":"17_CR25","unstructured":"Mannor, S., Rubinstein, R.Y., Gat, Y.: The cross entropy method for fast policy search. In: ICML, pp. 512\u2013519 (2003)"},{"issue":"2","key":"17_CR26","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1162\/artl.2008.14.2.179","volume":"14","author":"A Nathan","year":"2008","unstructured":"Nathan, A., Barbosa, V.C.: V-like formations in flocks of artificial birds. Artif. Life 14(2), 179\u2013188 (2008)","journal-title":"Artif. Life"},{"issue":"4","key":"17_CR27","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/37402.37406","volume":"21","author":"CW Reynolds","year":"1987","unstructured":"Reynolds, C.W.: Flocks, herds and schools: a distributed behavioral model. SIGGRAPH Comput. Graph. 21(4), 25\u201334 (1987)","journal-title":"SIGGRAPH Comput. Graph."},{"key":"17_CR28","volume-title":"Artificial Intelligence: A Modern Approach","author":"S Russell","year":"2010","unstructured":"Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach, 3rd edn. Prentice-Hall, Upper Saddle River (2010)","edition":"3"},{"key":"17_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"426","DOI":"10.1007\/978-3-319-02895-8_38","volume-title":"Advanced Concepts for Intelligent Vision Systems","author":"B Rymut","year":"2013","unstructured":"Rymut, B., Kwolek, B., Krzeszowski, T.: GPU-accelerated human motion tracking using particle filter combined with PSO. In: Blanc-Talon, J., Kasinski, A., Philips, W., Popescu, D., Scheunders, P. (eds.) ACIVS 2013. LNCS, vol. 8192, pp. 426\u2013437. Springer, Heidelberg (2013). doi:10.1007\/978-3-319-02895-8_38"},{"key":"17_CR30","doi-asserted-by":"crossref","unstructured":"Seiler, P., Pant, A., Hedrick, K.: Analysis of bird formations. In: Proceedings of the Conference on Decision and Control, vol. 1, pp. 118\u2013123. IEEE (2002)","DOI":"10.1109\/CDC.2002.1184478"},{"key":"17_CR31","unstructured":"Stulp, F., Sigaud, O.: Path integral policy improvement with covariance matrix adaptation. arXiv preprint arXiv:1206.4621 (2012)"},{"key":"17_CR32","unstructured":"Stulp, F., Sigaud, O.: Policy improvement methods: between black-box optimization and episodic reinforcement learning (2012). http:\/\/hal.upmc.fr\/hal-00738463\/"},{"key":"17_CR33","unstructured":"Verfaillie, G., Pralet, C., Vidal, V., Teichteil, F., Infantes, G., Lesire, C.: Synthesis of plans or policies for controlling dynamic systems. AerospaceLab (4), 1\u201312 (2012)"},{"issue":"6857","key":"17_CR34","doi-asserted-by":"publisher","first-page":"697","DOI":"10.1038\/35099670","volume":"413","author":"H Weimerskirch","year":"2001","unstructured":"Weimerskirch, H., Martin, J., Clerquin, Y., Alexandre, P., Jiraskova, S.: Energy saving in flight formation. Nature 413(6857), 697\u2013698 (2001)","journal-title":"Nature"},{"key":"17_CR35","unstructured":"Yang, J., Grosu, R., Smolka, S.A., Tiwari, A.: Love thy neighbor: V-formation as a problem of model predictive control. In: LIPIcs-Leibniz International Proceedings in Informatics, vol. 59. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik (2016)"},{"key":"17_CR36","unstructured":"Yang, J., Grosu, R., Smolka, S.A., Tiwari, A.: V-formation as optimal control. In: Proceedings of the Biological Distributed Algorithms Workshop 2016 (2016)"},{"key":"17_CR37","doi-asserted-by":"crossref","unstructured":"Zhou, Y., Tan, Y.: GPU-based parallel particle swarm optimization. In: Proceedings of the Congress on Evolutionary Computation, pp. 1493\u20131500. IEEE (2009)","DOI":"10.1109\/CEC.2009.4983119"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-54580-5_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:27:11Z","timestamp":1750188431000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-54580-5_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783662545799","9783662545805"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-54580-5_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"31 March 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"TACAS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Uppsala","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Sweden","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 April 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 April 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"tacas2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.etaps.org\/index.php\/2017\/tacas","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}