{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,26]],"date-time":"2024-12-26T07:40:17Z","timestamp":1735198817886,"version":"3.32.0"},"reference-count":45,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,10,14]],"date-time":"2024-10-14T00:00:00Z","timestamp":1728864000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,10,14]],"date-time":"2024-10-14T00:00:00Z","timestamp":1728864000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,10,14]]},"DOI":"10.1109\/iros58592.2024.10802747","type":"proceedings-article","created":{"date-parts":[[2024,12,25]],"date-time":"2024-12-25T19:17:39Z","timestamp":1735154259000},"page":"12386-12393","source":"Crossref","is-referenced-by-count":0,"title":["Adaptive Splitting of Reusable Temporal Monitors for Rare Traffic Violations"],"prefix":"10.1109","author":[{"given":"Craig","family":"Innes","sequence":"first","affiliation":[{"name":"University of Edinburgh,United Kingdom,EH8 9AB"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Subramanian","family":"Ramamoorthy","sequence":"additional","affiliation":[{"name":"University of Edinburgh,United Kingdom,EH8 9AB"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.23919\/ACC50511.2021.9482810"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2017.7995802"},{"journal-title":"Certifiable deep importance sampling for rare-event simulation of black-box systems","year":"2021","author":"Arief","key":"ref3"},{"key":"ref4","first-page":"28:1","article-title":"Pyro: Deep universal probabilistic programming","volume-title":"J. Mach. Learn. Res.","volume":"20","author":"Bingham","year":"2019"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s11222-011-9308-2"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2017.2699226"},{"key":"ref7","article-title":"Stochastic predictive control of autonomous vehicles in uncertain environments","volume-title":"12th international symposium on advanced vehicle control","volume":"9","author":"Carvalho"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1214\/16-aap1177"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1063\/1.5082247"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC45102.2020.9294636"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1.12716"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2023.3246512"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-017-0286-7"},{"issue":"83","key":"ref14","first-page":"1","article-title":"CVXPY: A Python-embedded modeling language for convex optimization","volume":"17","author":"Diamond","year":"2016","journal-title":"Journal of Machine Learning Research"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-03769-7_23"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_19"},{"key":"ref17","article-title":"Automatic model construction with Gaussian processes","volume-title":"Ph.D. thesis","author":"Duvenaud","year":"2014"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2021.3088009"},{"key":"ref19","first-page":"1321","article-title":"On calibration of modern neural networks","volume-title":"International conference on machine learning","author":"Guo"},{"volume-title":"Gurobi Optimizer Reference Manual","year":"2023","key":"ref20"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48891.2023.10161501"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-45231-8_11"},{"key":"ref23","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/S0927-0507(06)13011-X","article-title":"Rare-event simulation techniques: An introduction and recent advances","volume":"13","author":"Juneja","year":"2006","journal-title":"Handbooks in operations research and management science"},{"journal-title":"Streaming maximum-minimum filter using no more than three comparisons per element","year":"2006","author":"Lemire","key":"ref24"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1115\/DSCC2020-3328"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2017.7995716"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1051\/epjconf\/201715306006"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/IV51971.2022.9827153"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/IV47402.2020.9304549"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/3341156"},{"key":"ref32","article-title":"Scalable end-to-end autonomous vehicle testing via rare-event simulation","volume":"31","author":"O\u2019Kelly","year":"2018","journal-title":"Advances in neural information processing systems"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/jsen.2023.3262134"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2023.3311633"},{"key":"ref35","article-title":"Pointnet++: Deep hierarchical feature learning on point sets in a metric space","volume":"30","author":"Qi","year":"2017","journal-title":"Advances in neural information processing systems"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.3048047"},{"volume-title":"Vehicle dynamics and control","year":"2011","author":"Rajamani","key":"ref37"},{"key":"ref38","volume-title":"Model predictive control: theory, computation, and design","volume":"2","author":"Rawlings","year":"2017"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2993730"},{"key":"ref40","first-page":"6402","article-title":"Neural bridge sampling for evaluating safety-critical autonomous systems","volume":"33","author":"Sinha","year":"2020","journal-title":"Advances in Neural Information Processing Systems"},{"volume-title":"Openpcdet: An open-source toolbox for 3d object detection from point clouds","year":"2020","author":"Team","key":"ref41"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/504729.504754"},{"key":"ref43","volume-title":"Gaussian processes for machine learning","volume":"2","author":"Williams","year":"2006"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/CDC51059.2022.9993114"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2016.2582208"}],"event":{"name":"2024 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)","start":{"date-parts":[[2024,10,14]]},"location":"Abu Dhabi, United Arab Emirates","end":{"date-parts":[[2024,10,18]]}},"container-title":["2024 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10801246\/10801290\/10802747.pdf?arnumber=10802747","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,26]],"date-time":"2024-12-26T07:02:18Z","timestamp":1735196538000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10802747\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,14]]},"references-count":45,"URL":"https:\/\/doi.org\/10.1109\/iros58592.2024.10802747","relation":{},"subject":[],"published":{"date-parts":[[2024,10,14]]}}}