{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:32:04Z","timestamp":1750221124143,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,4,8]],"date-time":"2019-04-08T00:00:00Z","timestamp":1554681600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF 1423296"],"award-info":[{"award-number":["CCF 1423296"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Austrian Science Fund (FWF)"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,4,8]]},"DOI":"10.1145\/3297280.3297370","type":"proceedings-article","created":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T12:18:47Z","timestamp":1556713127000},"page":"914-921","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Distributed adaptive-neighborhood control for stochastic reachability in multi-agent systems"],"prefix":"10.1145","author":[{"given":"Anna","family":"Lukina","sequence":"first","affiliation":[{"name":"Technische Universit\u00e4t Wien, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ashish","family":"Tiwari","sequence":"additional","affiliation":[{"name":"SRI International"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Scott A.","family":"Smolka","sequence":"additional","affiliation":[{"name":"Stony Brook University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Radu","family":"Grosu","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t Wien, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,4,8]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"{n. d.}. Boeing Copies Flying Geese to Save Fuel. https:\/\/www.bloomberg.com\/news\/articles\/2017-08-08\/boeing-nasa-look-to-flying-geese-in-chase-for-jet-fuel-savings."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","unstructured":"Christopher Amato Frans A Oliehoek et al. 2015. Scalable Planning and Learning for Multiagent POMDPs.. In AAAI. 1995--2002.","DOI":"10.5555\/2886521.2886598"},{"key":"e_1_3_2_1_3_1","volume-title":"Model predictive control. Advanced textbooks in control and signal processing","author":"Camacho Eduardo F","year":"2004","unstructured":"Eduardo F Camacho and Carlos Bordons. 2004. Model predictive control. Advanced textbooks in control and signal processing. Springer-Verlag, London (2004)."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1177\/0278364913483345"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2003.816954"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/5925.5931"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2002.1184308"},{"key":"e_1_3_2_1_8_1","volume-title":"Proc. of the International Symposium Leveraging Applications of Formal Methods, Verification and Validation (LNCS)","volume":"8803","author":"Grosu R.","unstructured":"R. Grosu, D. Peled, C. R. Ramakrishnan, S. A. Smolka, S. D. Stoller, and J. Yang. 2014. Using Statistical Model Checking for Measuring Systems. In Proc. of the International Symposium Leveraging Applications of Formal Methods, Verification and Validation (LNCS), Vol. 8803. Springer, 223--238."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24622-0_8"},{"key":"e_1_3_2_1_10_1","volume-title":"Estimation of particle transmission by random sampling","author":"Kahn Herman","year":"1951","unstructured":"Herman Kahn and Theodore E Harris. 1951. Estimation of particle transmission by random sampling. National Bureau of Standards applied mathematics series 12 (1951), 27--30."},{"volume-title":"Proc. of 1995 IEEE International Conference on Neural Networks. 1942--1948","author":"Kennedy J.","key":"e_1_3_2_1_11_1","unstructured":"J. Kennedy and R. Eberhart. 1995. Particle Swarm Optimization. In Proc. of 1995 IEEE International Conference on Neural Networks. 1942--1948."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54580-5_17"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786853"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS.2017.2"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2933057.2933105"},{"volume-title":"Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017 (LNCS)","author":"Tiwari Ashish","key":"e_1_3_2_1_16_1","unstructured":"Ashish Tiwari, Scott A. Smolka, Lukas Esterle, Anna Lukina, Junxing Yang, and Radu Grosu. 2017. Attacking the V: On the Resiliency of Adaptive-Horizon MPC. In Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017 (LNCS), Vol. 10482. Springer, 446--462."},{"volume-title":"Proc. of CONCUR 2016, 27th International Conference on Concurrency Theory.","author":"Yang J.","key":"e_1_3_2_1_17_1","unstructured":"J. Yang, R. Grosu, S. A. Smolka, and A. Tiwari. 2016. Love Thy Neighbor: V-Formation as a Problem of Model Predictive Control (Extended Abstract). In Proc. of CONCUR 2016, 27th International Conference on Concurrency Theory."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1177\/1687814017696413"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2012.2216536"}],"event":{"name":"SAC '19: The 34th ACM\/SIGAPP Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Limassol Cyprus","acronym":"SAC '19"},"container-title":["Proceedings of the 34th ACM\/SIGAPP Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3297280.3297370","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3297280.3297370","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3297280.3297370","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:02:15Z","timestamp":1750208535000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3297280.3297370"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,4,8]]},"references-count":19,"alternative-id":["10.1145\/3297280.3297370","10.1145\/3297280"],"URL":"https:\/\/doi.org\/10.1145\/3297280.3297370","relation":{},"subject":[],"published":{"date-parts":[[2019,4,8]]},"assertion":[{"value":"2019-04-08","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}