{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,2]],"date-time":"2026-04-02T05:56:01Z","timestamp":1775109361191,"version":"3.50.1"},"reference-count":17,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T00:00:00Z","timestamp":1569888000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T00:00:00Z","timestamp":1569888000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T00:00:00Z","timestamp":1569888000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"SRA ICT TNG Project STaRT"},{"name":"SSF FACT"},{"name":"VR XPLORE3D"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Robot. Autom. Lett."],"published-print":{"date-parts":[[2019,10]]},"DOI":"10.1109\/lra.2019.2926669","type":"journal-article","created":{"date-parts":[[2019,7,7]],"date-time":"2019-07-07T19:10:42Z","timestamp":1562526642000},"page":"3332-3339","source":"Crossref","is-referenced-by-count":28,"title":["Guiding Autonomous Exploration With Signal Temporal Logic"],"prefix":"10.1109","volume":"4","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8627-1191","authenticated-orcid":false,"given":"Fernando S.","family":"Barbosa","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4815-9689","authenticated-orcid":false,"given":"Daniel","family":"Duberg","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1170-7162","authenticated-orcid":false,"given":"Patric","family":"Jensfelt","sequence":"additional","affiliation":[]},{"given":"Jana","family":"Tumova","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2017.7989177"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2017.8206235"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2013.6697120"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15297-9_9"},{"key":"ref15","article-title":"Rapidly-exploring random trees: A new tool for path planning","author":"lavalle","year":"1998"},{"key":"ref16","article-title":"ROS: An open-source robot operating system","volume":"3","author":"quigley","year":"0","journal-title":"ICRA Workshop on Open Source Software"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2004.1389727"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2017.8206030"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/CIRA.1997.613851"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1177\/0278364902021010834"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.1985.1087372"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1177\/0278364911406761"},{"key":"ref7","first-page":"2222","article-title":"Sampling-based motion planning with deterministic $\\mu$-calculus specifications","author":"karaman","year":"0","journal-title":"Proc 48th IEEE Conf Decis Control Held Jointly 28th Chinese Control Conf"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2016.7487281"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2019.2897343"},{"key":"ref9","first-page":"3217","article-title":"Incremental sampling-based algorithm for minimum-violation motion planning","author":"castro","year":"0","journal-title":"Proc IEEE 52nd Annu Conf Decis Control"}],"container-title":["IEEE Robotics and Automation Letters"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7083369\/8764082\/08754788.pdf?arnumber=8754788","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,13]],"date-time":"2022-07-13T21:09:09Z","timestamp":1657746549000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8754788\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10]]},"references-count":17,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/lra.2019.2926669","relation":{},"ISSN":["2377-3766","2377-3774"],"issn-type":[{"value":"2377-3766","type":"electronic"},{"value":"2377-3774","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,10]]}}}