{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T18:36:49Z","timestamp":1729622209329,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,12]]},"DOI":"10.1109\/cdc.2013.6760437","type":"proceedings-article","created":{"date-parts":[[2014,3,13]],"date-time":"2014-03-13T18:14:07Z","timestamp":1394734447000},"page":"3602-3608","source":"Crossref","is-referenced-by-count":19,"title":["Motion planning in crowds using statistical model checking to enhance the social force model"],"prefix":"10.1109","author":[{"given":"Alessio","family":"Colombo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniele","family":"Fontanelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Axel","family":"Legay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luigi","family":"Palopoli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sean","family":"Sedwards","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/1592761.1592781"},{"journal-title":"PLASMA-lab","year":"0","key":"22"},{"key":"17","article-title":"Simulation of pedestrian crowds in normal and evacuation situations","author":"helbing","year":"2002","journal-title":"Pedestrian and Evacuation Dynamics"},{"key":"23","doi-asserted-by":"crossref","first-page":"218","DOI":"10.1007\/978-3-642-03845-7_15","article-title":"A bayesian approach to model checking biological systems","author":"jha","year":"2009","journal-title":"Computational Methods in Systems Biology"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2013.6648081"},{"key":"24","doi-asserted-by":"crossref","first-page":"1586","DOI":"10.1063\/1.3637934","article-title":"Odeint - solving ordinary differential equations in C++","volume":"1389","author":"ahnert","year":"2011","journal-title":"AIP Conference Proceedings"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevE.51.4282"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.84.1240"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2010.5651150"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2009.5347119"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2005.853699"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/6979.898224"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1214\/aoms\/1177729330"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.1990.126256"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2004.1459815"},{"journal-title":"The DALi Project","year":"0","key":"2"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1038\/35035023"},{"key":"10","first-page":"160","article-title":"Towars a theory of stochastic hybrid systems","author":"hu","year":"2000","journal-title":"HSCC"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2007.363946"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2004.1428622"},{"key":"5","article-title":"Rapidly-exploring random trees: A new tool for path planning","author":"lavalle","year":"1998","journal-title":"Iowa State University Tech Rep TR 98-11"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/70.508439"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.2514\/6.2008-7166"},{"key":"8","article-title":"Sampling-based motion planning with deterministic ?-calculus specifications","author":"karaman","year":"2009","journal-title":"IEEE Conference on De- Cision and Control (CDC)"}],"event":{"name":"2013 IEEE 52nd Annual Conference on Decision and Control (CDC)","start":{"date-parts":[[2013,12,10]]},"location":"Firenze","end":{"date-parts":[[2013,12,13]]}},"container-title":["52nd IEEE Conference on Decision and Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6749719\/6759837\/06760437.pdf?arnumber=6760437","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T05:35:16Z","timestamp":1498109716000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6760437\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,12]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/cdc.2013.6760437","relation":{},"subject":[],"published":{"date-parts":[[2013,12]]}}}