{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:19:41Z","timestamp":1740097181021,"version":"3.37.3"},"publisher-location":"Cham","reference-count":9,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319238197"},{"type":"electronic","value":"9783319238203"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-23820-3_13","type":"book-chapter","created":{"date-parts":[[2015,9,19]],"date-time":"2015-09-19T10:21:39Z","timestamp":1442658099000},"page":"201-215","source":"Crossref","is-referenced-by-count":5,"title":["Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information About the Environment"],"prefix":"10.1007","author":[{"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":"Denise","family":"Ratasich","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":[[2015,11,15]]},"reference":[{"key":"13_CR1","series-title":"Springer Tracts in Advanced Robotics","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/978-3-540-73422-2_4","volume-title":"Autonomous Navigation in Dynamic Environment","author":"R Alami","year":"2007","unstructured":"Alami, R., Krishna, K.M., Sim\u00e9on, T.: Provably safe motions strategies for mobile robots in dynamic domains. In: Laugier, C., Chatila, R. (eds.) Autonomous Navigation in Dynamic Environments. STAR, vol. 35, pp. 85\u2013106. Springer, Heidelberg (2007)"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Bak, S., Manamcheri, K., Mitra, S., Caccamo, M.: Sandboxing controllers for cyber-physical systems. In: Proceedings of the 2011 IEEE\/ACM International Conference on Cyber-Physical Systems, ICCPS, pp. 3\u201312. IEEE Computer Society (2011)","DOI":"10.1109\/ICCPS.2011.25"},{"issue":"3","key":"13_CR3","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/s10514-011-9258-8","volume":"32","author":"S Bouraine","year":"2012","unstructured":"Bouraine, S., Fraichard, T., Salhi, H.: Provably safe navigation for mobile robots with limited field-of-views in dynamic environments. Auton. Robots 32(3), 267\u2013283 (2012). \n                      https:\/\/hal.inria.fr\/hal-00733913","journal-title":"Auton. Robots"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Mitsch, S., Ghorbal, K., Platzer, A.: On provably safe obstacle avoidance for autonomous robotic ground vehicles. In: Newman, P., Fox, D., Hsu, D. (eds.) Robotics: Science and Systems (2013)","DOI":"10.15607\/RSS.2013.IX.014"},{"issue":"10","key":"13_CR5","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.: Collision-free and smooth trajectory computation in cluttered environments. Int. J. Rob. Res. 31(10), 1155\u20131175 (2012). \n                      http:\/\/dx.doi.org\/10.1177\/0278364912453186","journal-title":"Int. J. Rob. Res."},{"key":"13_CR6","unstructured":"QuickBot MOOC v2 (2014). \n                      http:\/\/o-botics.org\/robots\/quickbot\/mooc\/v2\/"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Savkin, A.V., Wang, C.: 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 (2012)","DOI":"10.1109\/CCA.2012.6402340"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Seto, D., Krogh, B., Sha, L., Chutinan, A.: The Simplex architecture for safe online control system upgrades. In: Proceedings of the 1998 American Control Conference, vol. 6, pp. 3504\u20133508 (1998)","DOI":"10.1109\/ACC.1998.703255"},{"issue":"4","key":"13_CR9","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1109\/MS.2001.936213","volume":"18","author":"L Sha","year":"2001","unstructured":"Sha, L.: Using simplicity to control complexity. IEEE Softw. 18(4), 20\u201328 (2001)","journal-title":"IEEE Softw."}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23820-3_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T20:45:49Z","timestamp":1559249149000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-23820-3_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319238197","9783319238203"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23820-3_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}