{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:54:36Z","timestamp":1729634076647,"version":"3.28.0"},"reference-count":33,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,5]]},"DOI":"10.1109\/icra.2014.6906909","type":"proceedings-article","created":{"date-parts":[[2014,9,30]],"date-time":"2014-09-30T20:32:36Z","timestamp":1412109156000},"page":"549-556","source":"Crossref","is-referenced-by-count":2,"title":["Stochastic modeling, control, and verification of wild bodies"],"prefix":"10.1109","author":[{"given":"Daniel Erik","family":"Gierl","sequence":"first","affiliation":[]},{"given":"Leonardo","family":"Bobadilla","sequence":"additional","affiliation":[]},{"given":"Oscar","family":"Sanchez","sequence":"additional","affiliation":[]},{"given":"Steven M.","family":"LaValle","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref33","DOI":"10.1007\/BF01818045"},{"key":"ref32","first-page":"643","article-title":"Quasi-ergodicity for non-homogeneous continuous-time markov chains. Journal of Applied Probability","volume":"26","author":"zeifman","year":"1989"},{"doi-asserted-by":"publisher","key":"ref31","DOI":"10.1109\/CDC.2012.6426174"},{"year":"2005","author":"thrun","article-title":"Probabilistic Robotics","key":"ref30"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1080\/095281397147130"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1177\/027836499201100501"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1109\/56.800"},{"year":"2012","author":"gossman","article-title":"Design of environments to control robotic behavior","key":"ref13"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1016\/0167-2789(86)90062-X"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1007\/BF02183637"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1145\/2461328.2461374"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.2307\/1971280"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1109\/TRO.2009.2035776"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1109\/TRO.2009.2030225"},{"doi-asserted-by":"publisher","key":"ref28","DOI":"10.1177\/0278364907082096"},{"key":"ref4","article-title":"Controlling wild bodies using linear temporal „ logic","author":"bobadilla","year":"2011","journal-title":"Proceedings Robotics Science and Systems"},{"doi-asserted-by":"publisher","key":"ref27","DOI":"10.1007\/978-3-540-30301-5_19"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1109\/ACC.2012.6315569"},{"key":"ref6","first-page":"1311","article-title":"Convex optimization of graph laplacian eigenvalues","author":"boyd","year":"2006","journal-title":"Proceedings Oh the International Congress of Mathematicians"},{"doi-asserted-by":"publisher","key":"ref29","DOI":"10.1007\/1-4020-3389-3_26"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1137\/S0036144503423264"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1002\/rob.4620120603"},{"year":"1991","author":"bremaud","journal-title":"Gibbs Fields Monte Carlo Simulation and Queues","key":"ref7"},{"key":"ref2","article-title":"Manipulating ergodic bodies through gentle guidance","author":"bobadilla","year":"2011","journal-title":"Proc IEEE Conf Robot Motion Control"},{"year":"2005","author":"choset","article-title":"Principles of Robot Motion: Theory, Algorithms, and Implementations","key":"ref9"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1109\/SFCS.1978.30"},{"key":"ref20","article-title":"Temporal logic motion planning for mobile robots","author":"kress-gazit","year":"2005","journal-title":"Proceedings IEEE International Conference on Robotics and Automation"},{"key":"ref22","first-page":"585","article-title":"PRISM 4.0: Verification of probabilistic real-time systems","volume":"6806","author":"kwiatkowska","year":"2011","journal-title":"Proc 23rd International Conference on Computer Aided Verification (CAV'11)"},{"key":"ref21","doi-asserted-by":"crossref","DOI":"10.1109\/ROBOT.2007.363946","article-title":"Where's Waldo? sensor-based temporal logic motion planning","author":"kress-gazit","year":"2007","journal-title":"Proceedings IEEE International Conference on Robotics and Automation"},{"key":"ref24","doi-asserted-by":"crossref","first-page":"396","DOI":"10.1109\/TRO.2011.2172150","article-title":"Temporal logic motion planning and control with probabilistic satisfaction guarantees","volume":"28","author":"morteza","year":"2012","journal-title":"Robotics IEEE Transactions"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1109\/ROBOT.2010.5509686"},{"key":"ref26","first-page":"220","article-title":"Stochastic model checking","author":"norman","year":"2007"},{"doi-asserted-by":"publisher","key":"ref25","DOI":"10.1017\/CBO9780511546877"}],"event":{"name":"2014 IEEE International Conference on Robotics and Automation (ICRA)","start":{"date-parts":[[2014,5,31]]},"location":"Hong Kong, China","end":{"date-parts":[[2014,6,7]]}},"container-title":["2014 IEEE International Conference on Robotics and Automation (ICRA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6895053\/6906581\/06906909.pdf?arnumber=6906909","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,15]],"date-time":"2019-08-15T17:28:00Z","timestamp":1565890080000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6906909\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,5]]},"references-count":33,"URL":"https:\/\/doi.org\/10.1109\/icra.2014.6906909","relation":{},"subject":[],"published":{"date-parts":[[2014,5]]}}}