{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,6]],"date-time":"2026-01-06T02:15:00Z","timestamp":1767665700873,"version":"3.37.3"},"reference-count":30,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T00:00:00Z","timestamp":1706745600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T00:00:00Z","timestamp":1706745600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T00:00:00Z","timestamp":1706745600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"Strategic University Research Partnership"},{"DOI":"10.13039\/100006196","name":"Jet Propulsion Laboratory","doi-asserted-by":"publisher","award":["1688009","1704147"],"award-info":[{"award-number":["1688009","1704147"]}],"id":[{"id":"10.13039\/100006196","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Robot. Autom. Lett."],"published-print":{"date-parts":[[2024,2]]},"DOI":"10.1109\/lra.2023.3340029","type":"journal-article","created":{"date-parts":[[2023,12,6]],"date-time":"2023-12-06T19:16:26Z","timestamp":1701890186000},"page":"931-938","source":"Crossref","is-referenced-by-count":2,"title":["Sampling-Based Reactive Synthesis for Nondeterministic Hybrid Systems"],"prefix":"10.1109","volume":"9","author":[{"ORCID":"https:\/\/orcid.org\/0009-0006-0743-9341","authenticated-orcid":false,"given":"Qi Heng","family":"Ho","sequence":"first","affiliation":[{"name":"Department of Aerospace Engineering Sciences, University of Colorado Boulder, Boulder, CO, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9707-3035","authenticated-orcid":false,"given":"Zachary N.","family":"Sunberg","sequence":"additional","affiliation":[{"name":"Department of Aerospace Engineering Sciences, University of Colorado Boulder, Boulder, CO, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7549-4365","authenticated-orcid":false,"given":"Morteza","family":"Lahijanian","sequence":"additional","affiliation":[{"name":"Department of Aerospace Engineering Sciences, University of Colorado Boulder, Boulder, CO, USA"}]}],"member":"263","reference":[{"volume-title":"Principles of Model Check","year":"2008","author":"Baier","key":"ref1"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1146\/annurev-control-060117-104838"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2017.8206426"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA46639.2022.9812298"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1177\/0278364920918919"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2030225"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.806650"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1146\/annurev-control-060117-105226"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1177\/02783640122067453"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2010.5509503"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CDC51059.2022.9992444"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.2514\/6.2010-8160"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA46639.2022.9812343"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48891.2023.10160897"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48891.2023.10160940"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1177\/0278364913501564"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8263867"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/CDC51059.2022.9992905"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2017.7989693"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2021.10.001"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728628"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2014.6907292"},{"key":"ref24","first-page":"854","article-title":"Linear temporal logic and linear dynamic logic on finite traces","volume-title":"Proc. Int. Joint Conf. Artif. Intell.","author":"Giacomo","year":"2013"},{"key":"ref25","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1023\/A:1011254632723","article-title":"Model checking of safety properties","volume":"19","author":"Kupferman","year":"2001","journal-title":"Formal Methods Syst. Des."},{"volume-title":"Artificial Intelligence: A Modern Approach","year":"2009","author":"Russell","key":"ref26"},{"key":"ref27","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1023\/A:1013689704352","article-title":"Finite-time analysis of the multiarmed bandit problem","volume":"47","author":"Auer","year":"2002","journal-title":"Mach. Learn."},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2018.2888947"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2003.1248805"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/mra.2012.2205651"}],"container-title":["IEEE Robotics and Automation Letters"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7083369\/10360389\/10345643.pdf?arnumber=10345643","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,23]],"date-time":"2024-12-23T19:29:16Z","timestamp":1734982156000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10345643\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,2]]},"references-count":30,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/lra.2023.3340029","relation":{},"ISSN":["2377-3766","2377-3774"],"issn-type":[{"type":"electronic","value":"2377-3766"},{"type":"electronic","value":"2377-3774"}],"subject":[],"published":{"date-parts":[[2024,2]]}}}