{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,14]],"date-time":"2026-04-14T15:48:37Z","timestamp":1776181717841,"version":"3.50.1"},"reference-count":29,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2017,10,1]],"date-time":"2017-10-01T00:00:00Z","timestamp":1506816000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2017,10,1]],"date-time":"2017-10-01T00:00:00Z","timestamp":1506816000000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2017,10,1]],"date-time":"2017-10-01T00:00:00Z","timestamp":1506816000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2017,10,1]],"date-time":"2017-10-01T00:00:00Z","timestamp":1506816000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"Basic Science Research Program"},{"DOI":"10.13039\/501100003725","name":"National Research Foundation of Korea funded by the Ministry of Science, ICT & Future Planning","doi-asserted-by":"publisher","award":["NRF-2017R1A2B2006136"],"award-info":[{"award-number":["NRF-2017R1A2B2006136"]}],"id":[{"id":"10.13039\/501100003725","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["0931843"],"award-info":[{"award-number":["0931843"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Robot. Autom. Lett."],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.1109\/lra.2017.2727514","type":"journal-article","created":{"date-parts":[[2017,7,17]],"date-time":"2017-07-17T18:09:32Z","timestamp":1500314972000},"page":"2308-2315","source":"Crossref","is-referenced-by-count":34,"title":["Cost-Aware Path Planning Under Co-Safe Temporal Logic Specifications"],"prefix":"10.1109","volume":"2","author":[{"given":"Kyunghoon","family":"Cho","sequence":"first","affiliation":[]},{"given":"Junghun","family":"Suh","sequence":"additional","affiliation":[]},{"given":"Claire J.","family":"Tomlin","sequence":"additional","affiliation":[]},{"given":"Songhwai","family":"Oh","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1177\/0278364911406761"},{"key":"ref11","first-page":"4817","article-title":"Sampling-based temporal logic path planning","author":"vasile","year":"0","journal-title":"Proc IEEE\/RSJ Int Conf Intell Robots Syst"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2014.6907642"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4739370"},{"key":"ref14","first-page":"5319","article-title":"Optimization-based control of nonlinear systems with linear temporal logic specifications","author":"wolff","year":"0","journal-title":"Proc IEEE Int Conf Robot Autom"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1177\/0278364912444543"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728635"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2010.5509503"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32527-4_30"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2014.6943085"},{"key":"ref28","author":"rasmussen","year":"2006","journal-title":"Gaussian Processes for Machine Learning"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1177\/0278364911417911"},{"key":"ref27","year":"2011"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5399536"},{"key":"ref6","author":"choset","year":"2005","journal-title":"Principles of Robot Motion Theory Algorithms and Implementation"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/S0925-7721(01)00047-5"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2012.VIII.057"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1177\/02783640122067453"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511546877"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2008.4586787"},{"key":"ref9","first-page":"735","article-title":"Sampling-based algorithms for optimal motion planning with deterministic \n$\\mu$-calculus specifications","author":"karaman","year":"0","journal-title":"Proc IEEE Amer Control Conf"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2005.1570410"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/HUMANOIDS.2015.7363418"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211865"},{"key":"ref21","author":"baier","year":"2008","journal-title":"Principles of Model Checking"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2010.2047820"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011254632723"},{"key":"ref26","article-title":"A robust localization and efficient path planning for mobile sensor networks","author":"suh","year":"2016"},{"key":"ref25","author":"cho","year":"2017"}],"container-title":["IEEE Robotics and Automation Letters"],"original-title":[],"link":[{"URL":"http:\/\/ieeexplore.ieee.org\/ielaam\/7083369\/7951151\/7982681-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7083369\/7951151\/07982681.pdf?arnumber=7982681","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,8]],"date-time":"2022-04-08T18:54:53Z","timestamp":1649444093000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7982681\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10]]},"references-count":29,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/lra.2017.2727514","relation":{},"ISSN":["2377-3766","2377-3774"],"issn-type":[{"value":"2377-3766","type":"electronic"},{"value":"2377-3774","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,10]]}}}