{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,16]],"date-time":"2026-01-16T06:27:10Z","timestamp":1768544830656,"version":"3.49.0"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2017,1,5]],"date-time":"2017-01-05T00:00:00Z","timestamp":1483574400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2017,1,5]],"date-time":"2017-01-05T00:00:00Z","timestamp":1483574400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100000181","name":"Air Force Office of Scientific Research","doi-asserted-by":"publisher","award":["FA9550-14-1-0261"],"award-info":[{"award-number":["FA9550-14-1-0261"]}],"id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["IIS-1447549"],"award-info":[{"award-number":["IIS-1447549"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-1421893"],"award-info":[{"award-number":["CNS-1421893"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-1446832"],"award-info":[{"award-number":["CNS-1446832"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1414078"],"award-info":[{"award-number":["CCF-1414078"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000006","name":"Office of Naval Research","doi-asserted-by":"publisher","award":["N00014-15-1-2208"],"award-info":[{"award-number":["N00014-15-1-2208"]}],"id":[{"id":"10.13039\/100000006","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Artemis EMC2","award":["3887039"],"award-info":[{"award-number":["3887039"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Form Methods Syst Des"],"published-print":{"date-parts":[[2017,8]]},"DOI":"10.1007\/s10703-016-0265-4","type":"journal-article","created":{"date-parts":[[2017,1,5]],"date-time":"2017-01-05T11:49:55Z","timestamp":1483616995000},"page":"62-86","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":20,"title":["Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles"],"prefix":"10.1007","volume":"51","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1890-4959","authenticated-orcid":false,"given":"Dung","family":"Phan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Junxing","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Radu","family":"Grosu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Scott A.","family":"Smolka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Scott D.","family":"Stoller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,1,5]]},"reference":[{"key":"265_CR1","doi-asserted-by":"crossref","unstructured":"Alami R, Krishna KM (2007) Provably safe motions strategies for mobile robots in dynamic domains. In: Laugier C, Chatila R (eds) Autonomous navigation in dynamic environment: models and algorithms. Springer Tracts in Advanced Robotics","DOI":"10.1007\/978-3-540-73422-2_4"},{"key":"265_CR2","unstructured":"Bak S (2013) Hycreate: a tool for overapproximating reachability of hybrid automata. \n                    http:\/\/stanleybak.com\/projects\/hycreate\/hycreate.html"},{"key":"265_CR3","doi-asserted-by":"crossref","unstructured":"Bak S, Manamcheri K, Mitra S, Caccamo M (2011) Sandboxing controllers for cyber-physical systems. In: Proceedings of the 2011 IEEE\/ACM international conference on cyber-physical systems ICCPS. IEEE Computer Society, pp 3\u201312","DOI":"10.1109\/ICCPS.2011.25"},{"key":"265_CR4","doi-asserted-by":"publisher","unstructured":"Bouraine S, Fraichard T, Salhi H (2012) Provably safe navigation for mobile robots with limited field-of-views in dynamic environments. Autonomous Robots 32(3):267\u2013283. doi:\n                    10.1007\/s10514-011-9258-8","DOI":"10.1007\/s10514-011-9258-8"},{"key":"265_CR5","doi-asserted-by":"crossref","unstructured":"Chen Y, Smith TR (1994) Finitely representable spatial objects and efficient computation. In: Algorithms and computation. Springer, Berlin, pp 181\u2013189","DOI":"10.1007\/3-540-58325-4_180"},{"key":"265_CR6","unstructured":"Eberly D (1999) Distance between point and line, ray, or line segment. Geometric Tools. \n                    http:\/\/www.geometrictools.com\/Documentation\/DistancePointLine.pdf"},{"issue":"1","key":"265_CR7","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1109\/100.580977","volume":"4","author":"D Fox","year":"1997","unstructured":"Fox D, Burgard W, Thrun S (1997) The dynamic window approach to collision avoidance. IEEE Robot Autom Mag 4(1):23\u201333. doi:\n                    10.1109\/100.580977","journal-title":"IEEE Robot Autom Mag"},{"issue":"3","key":"265_CR8","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1017\/S0263574714000289","volume":"33","author":"M Hoy","year":"2015","unstructured":"Hoy M, Matveev AS, Savkin AV (2015) Algorithms for collision-free navigation of mobile robots in complex cluttered environments: a survey. Robotica 33(3):463\u2013497. doi:\n                    10.1017\/S0263574714000289","journal-title":"Robotica"},{"key":"265_CR9","unstructured":"Hughes JF, Van\u00a0Dam A, Foley JD, Feiner SK (2013) Computer graphics: principles and practice. Pearson Education, Upper Saddle River"},{"key":"265_CR10","unstructured":"Macek K, Vasquez Govea DA, Fraichard T, Siegwart R (2009) Towards safe vehicle navigation in dynamic urban scenarios. Automatika. Jugoslovenski Savez Za Elektroniku i Telekomunikacije Automatizaciju i Nuklearnu Tehniku (Etan). \n                    https:\/\/hal.inria.fr\/inria-00447452"},{"issue":"1","key":"265_CR11","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/s10514-006-5363-5","volume":"20","author":"J Minguez","year":"2006","unstructured":"Minguez J, Montano L, Santos-Victor J (2006) Abstracting vehicle shape and kinematic constraints from obstacle avoidance methods. Auton Robots 20(1):43\u201359. doi:\n                    10.1007\/s10514-006-5363-5","journal-title":"Auton Robots"},{"key":"265_CR12","doi-asserted-by":"crossref","unstructured":"Mitsch S, Ghorbal K, Platzer A (2013) On provably safe obstacle avoidance for autonomous robotic ground vehicles. In: Newman P, Fox D, Hsu D (eds) Robotics: science and systems. Berlin","DOI":"10.15607\/RSS.2013.IX.014"},{"issue":"10","key":"265_CR13","doi-asserted-by":"publisher","first-page":"1155","DOI":"10.1177\/0278364912453186","volume":"31","author":"J Pan","year":"2012","unstructured":"Pan J, Zhang L, Manocha D (2012) Collision-free and smooth trajectory computation in cluttered environments. Int J Rob Res 31(10):1155\u20131175. doi:\n                    10.1177\/0278364912453186","journal-title":"Int J Rob Res"},{"key":"265_CR14","doi-asserted-by":"crossref","unstructured":"Phan D, Yang J, Ratasich D, Grosu R, Smolka S, Stoller SD (2015) Collision avoidance for mobile robots with limited sensing and limited information about the environment. In: Proceedings of the 15th international conference on runtime verification (RV 2015), Lecture Notes in Computer Science. Springer, Berlin","DOI":"10.1007\/978-3-319-23820-3_13"},{"key":"265_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-1098-6","volume-title":"Computational geometry: an introduction","author":"F Preparatat","year":"1985","unstructured":"Preparatat F, Shamos M (1985) Computational geometry: an introduction. Springer, Berlin"},{"key":"265_CR16","unstructured":"QuickBot MOOC v2 (2014). \n                    http:\/\/o-botics.org\/robots\/quickbot\/mooc\/v2\/"},{"key":"265_CR17","doi-asserted-by":"crossref","unstructured":"Savkin AV, Wang C (2012) A reactive algorithm for safe navigation of a wheeled mobile robot among moving obstacles. In: Proceedings of the 2012 IEEE international conference on control applications (CCA), pp 1567\u20131571. IEEE","DOI":"10.1109\/CCA.2012.6402340"},{"key":"265_CR18","doi-asserted-by":"publisher","unstructured":"Seto D, Krogh B, Sha L, Chutinan A (1998) The Simplex architecture for safe online control system upgrades. In: Proceedings of the 1998 American control conference, vol\u00a06, pp 3504\u20133508. doi:\n                    10.1109\/ACC.1998.703255","DOI":"10.1109\/ACC.1998.703255"},{"issue":"4","key":"265_CR19","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1109\/MS.2001.936213","volume":"18","author":"L Sha","year":"2001","unstructured":"Sha L (2001) Using simplicity to control complexity. IEEE Softw 18(4):20\u201328. doi:\n                    10.1109\/MS.2001.936213","journal-title":"IEEE Softw"},{"key":"265_CR20","doi-asserted-by":"publisher","unstructured":"Takei R, Huang H, Ding J, Tomlin CJ (2012) Time-optimal multi-stage motion planning with guaranteed collision avoidance via an open-loop game formulation. In: IEEE international conference on robotics and automation (ICRA), 2012 , pp 323\u2013329. doi:\n                    10.1109\/ICRA.2012.6225074","DOI":"10.1109\/ICRA.2012.6225074"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10703-016-0265-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-016-0265-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-016-0265-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,17]],"date-time":"2020-05-17T15:45:37Z","timestamp":1589730337000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10703-016-0265-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,1,5]]},"references-count":20,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2017,8]]}},"alternative-id":["265"],"URL":"https:\/\/doi.org\/10.1007\/s10703-016-0265-4","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"value":"0925-9856","type":"print"},{"value":"1572-8102","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,1,5]]},"assertion":[{"value":"5 January 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}