{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,25]],"date-time":"2025-06-25T01:40:08Z","timestamp":1750815608559,"version":"3.41.0"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319671123"},{"type":"electronic","value":"9783319671130"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-67113-0_10","type":"book-chapter","created":{"date-parts":[[2017,8,24]],"date-time":"2017-08-24T04:21:24Z","timestamp":1503548484000},"page":"150-164","source":"Crossref","is-referenced-by-count":0,"title":["Sampling-Based Path Planning for Multi-robot Systems with Co-Safe Linear Temporal Logic Specifications"],"prefix":"10.1007","author":[{"given":"Felipe J.","family":"Montana","sequence":"first","affiliation":[]},{"given":"Jun","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Tony J.","family":"Dodd","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,8,25]]},"reference":[{"issue":"7","key":"10_CR1","doi-asserted-by":"crossref","first-page":"971","DOI":"10.1109\/5.871304","volume":"88","author":"R Alur","year":"2000","unstructured":"Alur, R., Henzinger, T.A., Lafferriere, G., Pappas, G.J.: Discrete abstractions of hybrid systems. Proc. IEEE 88(7), 971\u2013984 (2000)","journal-title":"Proc. IEEE"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Chen, Y., Ding, X.C., Belta, C.: Synthesis of distributed control and communication schemes from global LTL specifications. In: Proceedings of CDC-ECC, pp. 2718\u20132723. IEEE (2011)","DOI":"10.1109\/CDC.2011.6160740"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"van Den Berg, J., Snoeyink, J., Lin, M.C., Manocha, D.: Centralized path planning for multiple robots: optimal decoupling into sequential plans. In: Robotics: Science and Systems, vol. 2, pp. 2\u20133 (2009)","DOI":"10.15607\/RSS.2009.V.018"},{"issue":"1","key":"10_CR4","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1177\/0278364913498292","volume":"33","author":"A Dobson","year":"2014","unstructured":"Dobson, A., Bekris, K.E.: Sparse roadmap spanners for asymptotically near-optimal motion planning. Int. J. Robot. Res. 33(1), 18\u201347 (2014)","journal-title":"Int. J. Robot. Res."},{"issue":"2","key":"10_CR5","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/j.automatica.2008.08.008","volume":"45","author":"GE Fainekos","year":"2009","unstructured":"Fainekos, G.E., Girard, A., Kress-Gazit, H., Pappas, G.J.: Temporal logic motion planning for dynamic robots. Automatica 45(2), 343\u2013352 (2009)","journal-title":"Automatica"},{"issue":"2","key":"10_CR6","doi-asserted-by":"crossref","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":"10_CR7","doi-asserted-by":"crossref","unstructured":"Kantaros, Y., Zavlanos, M.M.: Sampling-based control synthesis for multi-robot systems under global temporal specifications. In: Proceedings of ICCPS, pp. 3\u201313. ACM (2017)","DOI":"10.1145\/3055004.3055027"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Karaman, S., Frazzoli, E.: Sampling-based motion planning with deterministic $$\\mu $$ -calculus specifications. In: Proceedings of CDC\/CCC, pp. 2222\u20132229. IEEE (2009)","DOI":"10.1109\/CDC.2009.5400278"},{"issue":"4","key":"10_CR9","doi-asserted-by":"crossref","first-page":"566","DOI":"10.1109\/70.508439","volume":"12","author":"LE Kavraki","year":"1996","unstructured":"Kavraki, L.E., Svestka, P., Latombe, J.C., Overmars, M.H.: Probabilistic roadmaps for path planning in high-dimensional configuration spaces. IEEE Trans. Robot. Autom. 12(4), 566\u2013580 (1996)","journal-title":"IEEE Trans. Robot. Autom."},{"issue":"1","key":"10_CR10","doi-asserted-by":"crossref","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. Rob. 26(1), 48\u201361 (2010)","journal-title":"IEEE Trans. Rob."},{"issue":"3","key":"10_CR11","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1023\/A:1011254632723","volume":"19","author":"O Kupferman","year":"2001","unstructured":"Kupferman, O., Vardi, M.Y.: Model checking of safety properties. Formal Meth. Syst. Des. 19(3), 291\u2013314 (2001)","journal-title":"Formal Meth. Syst. Des."},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Leahy, K., Jones, A., Schwager, M., Belta, C.: Distributed information gathering policies under temporal logic constraints. In: Proceedings of CDC, pp. 6803\u20136808. IEEE (2015)","DOI":"10.1109\/CDC.2015.7403291"},{"key":"10_CR13","unstructured":"Magnenat, S., Waibel, M., Beyeler, A.: Enki: the fast 2D robot simulator (2011). http:\/\/home.gna.org\/enki"},{"key":"10_CR14","unstructured":"Mondada, F., Bonani, M., Raemy, X., Pugh, J., Cianci, C., Klaptocz, A., Magnenat, S., Zufferey, J.C., Floreano, D., Martinoli, A.: The e-puck, a robot designed for education in engineering. In: Proceedings of ICARSC, pp. 59\u201365. IPCB (2009)"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Montana, F.J., Liu, J., Dodd, T.J.: Sampling-based stochastic optimal control with metric interval temporal logic specifications. In: Proceedings of CCA, pp. 767\u2013773. IEEE (2016)","DOI":"10.1109\/CCA.2016.7587911"},{"issue":"5","key":"10_CR16","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1177\/0278364915615688","volume":"35","author":"K Solovey","year":"2016","unstructured":"Solovey, K., Salzman, O., Halperin, D.: Finding a needle in an exponential haystack: Discrete RRT for exploration of implicit roadmaps in multi-robot motion planning. Int. J. Robot. Res. 35(5), 501\u2013513 (2016)","journal-title":"Int. J. Robot. Res."},{"issue":"3","key":"10_CR17","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/S0921-8890(97)00033-X","volume":"23","author":"P \u0160vestka","year":"1998","unstructured":"\u0160vestka, P., Overmars, M.H.: Coordinated path planning for multiple robots. Rob. Auton. Syst. 23(3), 125\u2013152 (1998)","journal-title":"Rob. Auton. Syst."},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"Svore\u0148ov\u00e1, M., K\u0159et\u00ednsk\u00fd, J., Chmel\u00edk, M., Chatterjee, K., \u010cern\u00e1, I., Belta, C.: Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. In: Proceedings of HSCC, pp. 259\u2013268. ACM (2015)","DOI":"10.1145\/2728606.2728608"},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"Tumov\u00e1, J., Dimarogonas, D.V.: A receding horizon approach to multi-agent planning from local LTL specifications. In: Proceedings of ACC, pp. 1775\u20131780. IEEE (2014)","DOI":"10.1109\/ACC.2014.6859413"},{"issue":"8","key":"10_CR20","doi-asserted-by":"crossref","first-page":"889","DOI":"10.1177\/0278364913487931","volume":"32","author":"A Ulusoy","year":"2013","unstructured":"Ulusoy, A., Smith, S.L., Ding, X.C., Belta, C., Rus, D.: Optimality and robustness in multi-robot path planning with temporal logic constraints. Int. J. Robot. Res. 32(8), 889\u2013911 (2013)","journal-title":"Int. J. Robot. Res."},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"Vasile, C.I., Belta, C.: Sampling-based temporal logic path planning. In: Proceedings of IROS, pp. 4817\u20134822. IEEE (2013)","DOI":"10.1109\/IROS.2013.6697051"},{"key":"10_CR22","doi-asserted-by":"crossref","unstructured":"Wolff, E.M., Topcu, U., Murray, R.M.: Optimal control of non-deterministic systems for a computationally efficient fragment of temporal logic. In: Proceedings of CDC, pp. 3197\u20133204. IEEE (2013)","DOI":"10.1109\/CDC.2013.6760371"},{"key":"10_CR23","doi-asserted-by":"crossref","unstructured":"Zhang, Z., Cowlagi, R.V.: Motion-planning with global temporal logic specifications for multiple nonholonomic robotic vehicles. In: Proceedings of ACC, pp. 7098\u20137103. IEEE (2016)","DOI":"10.1109\/ACC.2016.7526792"}],"container-title":["Lecture Notes in Computer Science","Critical Systems: Formal Methods and Automated Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-67113-0_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,25]],"date-time":"2025-06-25T01:10:41Z","timestamp":1750813841000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-67113-0_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319671123","9783319671130"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-67113-0_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}