{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:13:52Z","timestamp":1740100432413,"version":"3.37.3"},"reference-count":20,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,9,5]],"date-time":"2021-09-05T00:00:00Z","timestamp":1630800000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,9,5]],"date-time":"2021-09-05T00:00:00Z","timestamp":1630800000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100012166","name":"National Key Research and Development","doi-asserted-by":"publisher","award":["2019YFA0706404"],"award-info":[{"award-number":["2019YFA0706404"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"NSFC","doi-asserted-by":"publisher","award":["61972150"],"award-info":[{"award-number":["61972150"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012476","name":"Fundamental Research Funds for Central Universities and Shanghai Knowledge Service Platform","doi-asserted-by":"publisher","award":["ZF1213"],"award-info":[{"award-number":["ZF1213"]}],"id":[{"id":"10.13039\/501100012476","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,9,5]]},"DOI":"10.1109\/iscc53001.2021.9631442","type":"proceedings-article","created":{"date-parts":[[2021,12,15]],"date-time":"2021-12-15T20:46:50Z","timestamp":1639601210000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["Dependable Reinforcement Learning via Timed Differential Dynamic Logic"],"prefix":"10.1109","author":[{"given":"Runhao","family":"Wang","sequence":"first","affiliation":[{"name":"East China Normal University,Shanghai Key Laboratory of Trustworthy Computing,Shanghai,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuhong","family":"Zhang","sequence":"additional","affiliation":[{"name":"Huawei Trustworthy Theory, Technology and Engineering Laboratory,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Haiying","family":"Sun","sequence":"additional","affiliation":[{"name":"East China Normal University,Shanghai Key Laboratory of Trustworthy Computing,Shanghai,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jing","family":"Liu","sequence":"additional","affiliation":[{"name":"East China Normal University,Shanghai Key Laboratory of Trustworthy Computing,Shanghai,China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","DOI":"10.1609\/aaai.v32i1.11797","article-title":"Safe reinforcement learning via shielding","volume":"32","author":"alshiekh","year":"2018","journal-title":"Proceedings of the AAAI Conference on Artificial Intelligence"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2018.8460635"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-008-9103-8"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2012.64"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2012.13"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-016-9385-1"},{"journal-title":"Conjunctive normal form","year":"2021","key":"ref16"},{"journal-title":"Quantifier Elimination and Cylindrical Algebraic Decomposition","year":"2012","author":"caviness","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21401-6_36"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-016-0241-z"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1666"},{"key":"ref3","first-page":"ii-181","article-title":"Scaling up robust mdps using function approximation","author":"tamar","year":"2014","journal-title":"Proceedings of the 31st International Conference on International Conference on Machine Learning - Volume 32 ser ICML'14 JMLR org"},{"key":"ref6","first-page":"1037","article-title":"Smart exploration in reinforcement learning using absolute temporal difference errors","author":"gehring","year":"2013","journal-title":"Proceedings of the 2013 International Conference on Autonomous Agents and Multi-agent Systems ser AAMAS '13"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1613\/jair.3761"},{"key":"ref8","first-page":"22","article-title":"Constrained policy optimization","author":"achiam","year":"2017","journal-title":"Proceedings of the 34th International Conference on Machine Learning - Volume 70 ser ICML'17 JMLR org"},{"key":"ref7","first-page":"1889","article-title":"Trust region policy optimization","author":"schulman","year":"2015","journal-title":"Proceedings of the 32Nd International Conference on International Conference on Machine Learning - Volume 37 ser ICML'15 JMLR org"},{"key":"ref2","first-page":"1437","article-title":"A comprehensive survey on safe reinforcement learning","volume":"16","author":"garcia","year":"2015","journal-title":"J Mach Learn Res"},{"key":"ref9","doi-asserted-by":"crossref","DOI":"10.1609\/aaai.v32i1.12107","article-title":"Safe reinforcement learning via formal methods: Toward safe control through proof and learning","volume":"32","author":"fulton","year":"2018","journal-title":"Proceedings of the AAAI Conference on Artificial Intelligence"},{"journal-title":"Reinforcement Learning An Introduction","year":"2018","author":"sutton","key":"ref1"},{"key":"ref20","article-title":"Openai gym","volume":"abs 1606 1540","author":"brockman","year":"2016","journal-title":"CoRR"}],"event":{"name":"2021 IEEE Symposium on Computers and Communications (ISCC)","start":{"date-parts":[[2021,9,5]]},"location":"Athens, Greece","end":{"date-parts":[[2021,9,8]]}},"container-title":["2021 IEEE Symposium on Computers and Communications (ISCC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9631377\/9631248\/09631442.pdf?arnumber=9631442","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,18]],"date-time":"2023-01-18T17:02:52Z","timestamp":1674061372000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9631442\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9,5]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/iscc53001.2021.9631442","relation":{},"subject":[],"published":{"date-parts":[[2021,9,5]]}}}