{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T08:23:53Z","timestamp":1761294233025,"version":"3.37.3"},"reference-count":56,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,9,20]],"date-time":"2020-09-20T00:00:00Z","timestamp":1600560000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,9,20]],"date-time":"2020-09-20T00:00:00Z","timestamp":1600560000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,9,20]],"date-time":"2020-09-20T00:00:00Z","timestamp":1600560000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006831","name":"United States Air Force","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100006831","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,9,20]]},"DOI":"10.1109\/itsc45102.2020.9294366","type":"proceedings-article","created":{"date-parts":[[2020,12,24]],"date-time":"2020-12-24T23:14:55Z","timestamp":1608851695000},"page":"1-8","source":"Crossref","is-referenced-by-count":15,"title":["Online Monitoring for Safe Pedestrian-Vehicle Interactions"],"prefix":"10.1109","author":[{"given":"Peter","family":"Du","sequence":"first","affiliation":[]},{"given":"Zhe","family":"Huang","sequence":"additional","affiliation":[]},{"given":"Tianqi","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Tianchen","family":"Ji","sequence":"additional","affiliation":[]},{"given":"Ke","family":"Xu","sequence":"additional","affiliation":[]},{"given":"Qichao","family":"Gao","sequence":"additional","affiliation":[]},{"given":"Hussein","family":"Sibai","sequence":"additional","affiliation":[]},{"given":"Katherine","family":"Driggs-Campbell","sequence":"additional","affiliation":[]},{"given":"Sayan","family":"Mitra","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/EMSOFT.2013.6658604"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.29007\/b8zr"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.806650"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0224-5"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.23919\/ICIF.2018.8455678"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/3049797.3049808"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_30"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60045-0_53"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45873-5_10"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ICCVW.2015.28"},{"key":"ref27","first-page":"174","article-title":"Pedestrian path prediction with recursive bayesian filters: A comparative study","author":"schneider","year":"2013","journal-title":"German Conference on Pattern Recognition Springer"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/PLANS.2018.8373383"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2018.XIV.069"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2019.8794457"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2015.7139219"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/978-3-642-33765-9_15","article-title":"Activity forecasting","author":"kitani","year":"2012","journal-title":"Computer Vision – ECCV 2012"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36279-8_29"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/WPNC.2007.353604"},{"key":"ref23","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/9816.003.0023","article-title":"Modeling and prediction of pedestrian behavior based on the sub-goal concept","volume":"10","author":"ikeda","year":"2013","journal-title":"Robotics"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.infrared.2010.04.002"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2008.4621191"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2018.2876389"},{"key":"ref51","article-title":"On infusing reachability-based safety assurance within probabilistic planning frameworks for human-robot vehicle interactions","author":"leung","year":"2018","journal-title":"International Symposium on Experimental Robotics"},{"journal-title":"Polaris urdf","year":"2020","key":"ref56"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2015.7225830"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_17"},{"journal-title":"Edinburgh Informatics Forum Pedestrian Database","year":"2010","author":"majecka","key":"ref53"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.5220\/0006215705090514"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3027063.3053126"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1002\/rob.21534"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/MDAT.2018.2799804"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.trf.2018.06.024"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1002\/rob.20386"},{"key":"ref14","article-title":"Dryvr:data-driven verification and compositional reasoning for automotive systems","author":"fan","year":"2017","journal-title":"Computer Aided Verification"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2016.110"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2018.00240"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2019.01236"},{"key":"ref18","article-title":"Pedestrian behavior understanding and prediction with deep neural networks","author":"yi","year":"2016","journal-title":"European Conference on Computer Vision"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2016.7487409"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2017.7995950"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2018.8500441"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2018.2843125"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2017.2715836"},{"journal-title":"Safety of pedestrians and cyclists when interacting with automated vehicles—a case study of the wepods","year":"2017","author":"rodr\u00edguez","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8264039"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/CDC40024.2019.9030133"},{"key":"ref9","article-title":"Automated shuttles on public roads: Lessons learned","author":"van der wiel","year":"2017","journal-title":"ITS European Congress"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2011.6083052"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2014.2312453"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2011.2158210"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2019.8813899"},{"key":"ref42","first-page":"91","article-title":"Implementation of interval arithmetic in CORA 2016","author":"althoff","year":"2016","journal-title":"Proc of the 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_18"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8263854"},{"key":"ref43","first-page":"75","article-title":"Formal verification of a multi-basal insulin infusion control model","author":"chen","year":"2017","journal-title":"ARCH17 4th International Workshop on Applied Verification of Continuous and Hybrid Systems"}],"event":{"name":"2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC)","start":{"date-parts":[[2020,9,20]]},"location":"Rhodes, Greece","end":{"date-parts":[[2020,9,23]]}},"container-title":["2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9294153\/9294168\/09294366.pdf?arnumber=9294366","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,16]],"date-time":"2023-10-16T06:06:07Z","timestamp":1697436367000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9294366\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9,20]]},"references-count":56,"URL":"https:\/\/doi.org\/10.1109\/itsc45102.2020.9294366","relation":{},"subject":[],"published":{"date-parts":[[2020,9,20]]}}}