{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T06:41:00Z","timestamp":1729665660017,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,5]]},"DOI":"10.1109\/icra.2013.6630692","type":"proceedings-article","created":{"date-parts":[[2013,10,21]],"date-time":"2013-10-21T18:11:25Z","timestamp":1382379085000},"page":"981-986","source":"Crossref","is-referenced-by-count":18,"title":["Provably-correct stochastic motion planning with safety constraints"],"prefix":"10.1109","author":[{"given":"Chanyeol","family":"Yoo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Fitch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Salah","family":"Sukkarieh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72522-0_6"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2010.5509743"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5980508"},{"key":"11","article-title":"Probabilistic analysis of correctness of high-level robot behavior with sensor error","author":"johnson","year":"2011","journal-title":"Proc of Robotics Science and Systems"},{"key":"12","article-title":"Probabilistic temporal logic for motion planning with resource threshold constraints","author":"yoo","year":"2012","journal-title":"Proc of Robotics Science and Systems"},{"key":"3","first-page":"22","article-title":"Nonparametric learning to aid path planning over slopes","author":"karumanchi","year":"2010","journal-title":"I J Robot Res"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.14429\/dsj.60.99"},{"key":"1","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1023\/A:1015527207828","article-title":"Heuristic optimization methods for motion planning of autonomous agricultural vehicles","volume":"23","author":"ferentinos","year":"2002","journal-title":"Global Optim"},{"key":"10","first-page":"106","article-title":"Formal coverification of embedded systems using model checking","author":"cortes","year":"2000","journal-title":"Proc Of EUROMICRO"},{"key":"7","first-page":"3108","article-title":"Temporal logic control in dynamic environments with probabilistic satisfaction guarantees","author":"medina ayala","year":"2011","journal-title":"Proc of IEEE IROS"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2010.5509686"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5400629"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511546877"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1990.114827"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80410-9"}],"event":{"name":"2013 IEEE International Conference on Robotics and Automation (ICRA)","start":{"date-parts":[[2013,5,6]]},"location":"Karlsruhe, Germany","end":{"date-parts":[[2013,5,10]]}},"container-title":["2013 IEEE International Conference on Robotics and Automation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6615630\/6630547\/06630692.pdf?arnumber=6630692","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T20:19:31Z","timestamp":1498076371000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6630692\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/icra.2013.6630692","relation":{},"subject":[],"published":{"date-parts":[[2013,5]]}}}