{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T23:44:56Z","timestamp":1769816696805,"version":"3.49.0"},"reference-count":35,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,5,1]],"date-time":"2020-05-01T00:00:00Z","timestamp":1588291200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,5,1]],"date-time":"2020-05-01T00:00:00Z","timestamp":1588291200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,5,1]],"date-time":"2020-05-01T00:00:00Z","timestamp":1588291200000},"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":[[2020,5]]},"DOI":"10.1109\/icra40945.2020.9196796","type":"proceedings-article","created":{"date-parts":[[2020,9,15]],"date-time":"2020-09-15T21:25:46Z","timestamp":1600205146000},"page":"10349-10355","source":"Crossref","is-referenced-by-count":66,"title":["Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning"],"prefix":"10.1109","author":[{"given":"Alper Kamil","family":"Bozkurt","sequence":"first","affiliation":[]},{"given":"Yu","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Michael M.","family":"Zavlanos","sequence":"additional","affiliation":[]},{"given":"Miroslav","family":"Pajic","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"crossref","first-page":"567","DOI":"10.1007\/978-3-319-96145-3_30","article-title":"Rabinizer 4: From LTL to your favourite deterministic automaton","author":"k?et\u00ednsk\u00fd","year":"2018","journal-title":"Computer Aided Verification"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1162\/neco.1994.6.6.1185"},{"key":"ref31","author":"sutton","year":"2018","journal-title":"Reinforcement Learning An Introduction"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/1143844.1143955"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2007.363946"},{"key":"ref34","author":"bozkurt","year":"2019","journal-title":"CSRL"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2018.2853558"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2011.2172150"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2012.6426174"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-02444-8_2"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2298143"},{"key":"ref15","author":"baier","year":"2008","journal-title":"Principles of Model Checking"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2014.X.039"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11936-6_8"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2015.7354078"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7799279"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41540-6_17"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1177\/0278364911417911"},{"key":"ref27","first-page":"354","article-title":"Lazy Probabilistic Model Checking without Determinisation","author":"hahn","year":"2015","journal-title":"26th International Conference on Concurrency Theory (CONCUR 2015) volume 42 of Leibniz International Proceedings in Informatics (LIPIcs)"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2013.6697051"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3055004.3055027"},{"key":"ref29","article-title":"Logically-constrained reinforcement learning","author":"hasanbeig","year":"2018","journal-title":"arXiv 1801 08099 [cs LG]"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2011.2163434"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2018.2799561"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2014.6907641"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5980479"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1177\/0278364914546174"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1177\/0278364911406761"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2017.8206234"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1609\/icaps.v29i1.3549","article-title":"Foundations for restraining bolts: Reinforcement learning with LTLf \/LDLf restraining specifications","volume":"29","author":"de giacomo","year":"2019","journal-title":"Proceedings of the International Conference on Automated Planning and Scheduling"},{"key":"ref21","first-page":"452","article-title":"Teaching multiple tasks to an RL agent using LTL","author":"icarte","year":"2018","journal-title":"Proc of International Conference on Autonomous Agents and Multiagent Systems"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/3302509.3311053"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039527"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2018.8431181"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-17462-0_27"}],"event":{"name":"2020 IEEE International Conference on Robotics and Automation (ICRA)","location":"Paris, France","start":{"date-parts":[[2020,5,31]]},"end":{"date-parts":[[2020,8,31]]}},"container-title":["2020 IEEE International Conference on Robotics and Automation (ICRA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9187508\/9196508\/09196796.pdf?arnumber=9196796","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,18]],"date-time":"2022-11-18T13:59:56Z","timestamp":1668779996000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9196796\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,5]]},"references-count":35,"URL":"https:\/\/doi.org\/10.1109\/icra40945.2020.9196796","relation":{},"subject":[],"published":{"date-parts":[[2020,5]]}}}