{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T23:01:10Z","timestamp":1743116470905,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030058159"},{"type":"electronic","value":"9783030058166"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"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":[[2019]]},"DOI":"10.1007\/978-3-030-05816-6_19","type":"book-chapter","created":{"date-parts":[[2019,1,29]],"date-time":"2019-01-29T14:42:46Z","timestamp":1548772966000},"page":"265-281","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Multi-agent Coordination Subject to Counting Constraints: A Hierarchical Approach"],"prefix":"10.1007","author":[{"given":"Yunus Emre","family":"Sahin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Necmiye","family":"Ozay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stavros","family":"Tripakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,1,30]]},"reference":[{"key":"19_CR1","unstructured":"Baier, C., Katoen, J.: Principles of Model Checking. MIT Press (1999)"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"Bhatia, A., Kavraki, L.E., Vardi, M.Y.: Sampling-based motion planning with temporal goals. In: Proceedings of ICRA, pp. 2689\u20132696 (2010)","DOI":"10.1109\/ROBOT.2010.5509503"},{"key":"19_CR3","doi-asserted-by":"publisher","unstructured":"Desai, A., Saha, I., Yang, J., Qadeer, S., Seshia, S.A.: Drona: a framework for safe distributed mobile robotics. In: Proceedings of ICCPS, pp. 239\u2013248. ICCPS \u201917, ACM, New York, NY, USA (2017), \n                  https:\/\/doi.org\/10.1145\/3055004.3055022","DOI":"10.1145\/3055004.3055022"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"Gray, A., Gao, Y., Lin, T., Hedrick, J.K., Tseng, H.E., Borrelli, F.: Predictive control for agile semi-autonomous ground vehicles using motion primitives. In: Proceedings of ACC, pp. 4239\u20134244. IEEE (2012)","DOI":"10.1109\/ACC.2012.6315303"},{"issue":"2","key":"19_CR5","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1177\/0278364914546174","volume":"34","author":"M Guo","year":"2015","unstructured":"Guo, M., Dimarogonas, D.V.: Multi-agent plan reconfiguration under local ltl specifications. Int. J. Robot. Res. 34(2), 218\u2013235 (2015)","journal-title":"Int. J. Robot. Res."},{"key":"19_CR6","unstructured":"Gurobi\u00a0Optimization, I.: Gurobi optimizer reference manual (2016). \n                  http:\/\/www.gurobi.com"},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"Haghighi, I., Sadraddini, S., Belta, C.: Robotic swarm control from spatio-temporal specifications. In: Proceedings of CDC, pp. 5708\u20135713 (Dec 2016)","DOI":"10.1109\/CDC.2016.7799146"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Kantaros, Y., Zavlanos, M.M.: Distributed optimal control synthesis for multi-robot systems under global temporal tasks. In: Proceedings of the 9th ACM\/IEEE International Conference on Cyber-Physical Systems, pp. 162\u2013173. IEEE Press (2018)","DOI":"10.1109\/ICCPS.2018.00024"},{"issue":"12","key":"19_CR9","doi-asserted-by":"publisher","first-page":"1372","DOI":"10.1002\/rnc.1715","volume":"21","author":"S Karaman","year":"2011","unstructured":"Karaman, S., Frazzoli, E.: Linear temporal logic vehicle routing with applications to multi-uav mission planning. Int. J. Robust Nonlinear Control. 21(12), 1372\u20131395 (2011)","journal-title":"Int. J. Robust Nonlinear Control."},{"issue":"2","key":"19_CR10","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 Trans. Robot. 23(2), 320\u2013330 (2007)","journal-title":"IEEE Trans. Robot."},{"issue":"1","key":"19_CR11","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1109\/TRO.2009.2035776","volume":"26","author":"M Kloetzer","year":"2010","unstructured":"Kloetzer, M., Belta, C.: Automatic deployment of distributed teams of robots from temporal logic motion specifications. IEEE Trans. Robot. 26(1), 48\u201361 (2010)","journal-title":"IEEE Trans. Robot."},{"issue":"4","key":"19_CR12","doi-asserted-by":"publisher","first-page":"1152","DOI":"10.1109\/TAC.2014.2350391","volume":"60","author":"Z Li","year":"2015","unstructured":"Li, Z., Wen, G., Duan, Z., Ren, W.: Designing fully distributed consensus protocols for linear multi-agent systems with directed graphs. IEEE Trans. Autom. Control. 60(4), 1152\u20131157 (2015)","journal-title":"IEEE Trans. Autom. Control."},{"key":"19_CR13","unstructured":"Ma, H., Kumar, T.S., Koenig, S.: In: AAAI (ed.), pp. 3605\u20133612 (2017)"},{"issue":"3","key":"19_CR14","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1177\/0278364914558017","volume":"34","author":"AA Paranjape","year":"2015","unstructured":"Paranjape, A.A., Meier, K.C., Shi, X., Chung, S.J., Hutchinson, S.: Motion primitives and 3d path planning for fast flight through a forest. Int. J. Robot. Res. 34(3), 357\u2013377 (2015)","journal-title":"Int. J. Robot. Res."},{"issue":"10","key":"19_CR15","doi-asserted-by":"publisher","first-page":"2508","DOI":"10.1016\/j.automatica.2008.02.021","volume":"44","author":"G Pola","year":"2008","unstructured":"Pola, G., Girard, A., Tabuada, P.: Approximately bisimilar symbolic models for nonlinear control systems. Automatica 44(10), 2508\u20132516 (2008)","journal-title":"Automatica"},{"key":"19_CR16","unstructured":"Ren, W., Beard, R.W., Atkins, E.M.: A survey of consensus problems in multi-agent coordination. In: Proceedings of the American Control Conference, 2005, pp. 1859\u20131864. IEEE (2005)"},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"Sahin, Y.E., Nilsson, P., Ozay, N.: Provably-correct coordination of large collections of agents with counting temporal logic constraints. In: Proceedings of ICCPS, pp. 249\u2013258. ACM (2017)","DOI":"10.1145\/3055004.3055021"},{"key":"19_CR18","doi-asserted-by":"crossref","unstructured":"Sahin, Y.E., Nilsson, P., Ozay, N.: Synchronous and asynchronous multi-agent coordination with cltl+ constraints. In: Proceedings of CDC, pp. 335\u2013342. IEEE (2017)","DOI":"10.1109\/CDC.2017.8263687"},{"key":"19_CR19","doi-asserted-by":"crossref","unstructured":"Shoukry, Y., Nuzzo, P., Balkan, A., Saha, I., Sangiovanni-Vincentelli, A.L., Seshia, S.A., Pappas, G.J., Tabuada, P.: Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming. In: Proceedings of CDC, pp. 1132\u20131137. IEEE (2017)","DOI":"10.1109\/CDC.2017.8263808"},{"key":"19_CR20","doi-asserted-by":"crossref","unstructured":"Surynek, P.: A novel approach to path planning for multiple robots in bi-connected graphs. In: Proceedings of ICRA, pp. 3613\u20133619. IEEE (2009)","DOI":"10.1109\/ROBOT.2009.5152326"},{"key":"19_CR21","unstructured":"de\u00a0Wilde, B., ter Mors, A.W., Witteveen, C.: Push and rotate: cooperative multi-agent path planning. In: Proceedings of AAMAS, pp. 87\u201394 (2013)"},{"key":"19_CR22","doi-asserted-by":"crossref","unstructured":"Wongpiromsarn, T., Topcu, U., Ozay, N., Xu, H., Murray, R.M.: Tulip: a software toolbox for receding horizon temporal logic planning, pp. 313\u2013314. ACM (2011)","DOI":"10.1145\/1967701.1967747"},{"issue":"5","key":"19_CR23","doi-asserted-by":"publisher","first-page":"1163","DOI":"10.1109\/TRO.2016.2593448","volume":"32","author":"J Yu","year":"2016","unstructured":"Yu, J., LaValle, S.M.: Optimal multirobot path planning on graphs: complete algorithms and effective heuristics. IEEE Trans. Robot. 32(5), 1163\u20131177 (2016)","journal-title":"IEEE Trans. Robot."}],"container-title":["Springer Proceedings in Advanced Robotics","Distributed Autonomous Robotic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-05816-6_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T14:58:56Z","timestamp":1558537136000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-05816-6_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030058159","9783030058166"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-05816-6_19","relation":{},"ISSN":["2511-1256","2511-1264"],"issn-type":[{"type":"print","value":"2511-1256"},{"type":"electronic","value":"2511-1264"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"30 January 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}