{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:10:37Z","timestamp":1740100237399,"version":"3.37.3"},"reference-count":23,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,7,18]],"date-time":"2021-07-18T00:00:00Z","timestamp":1626566400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,7,18]],"date-time":"2021-07-18T00:00:00Z","timestamp":1626566400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,7,18]],"date-time":"2021-07-18T00:00:00Z","timestamp":1626566400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada (NSERC)","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,7,18]]},"DOI":"10.1109\/ijcnn52387.2021.9533410","type":"proceedings-article","created":{"date-parts":[[2021,9,20]],"date-time":"2021-09-20T21:27:41Z","timestamp":1632173261000},"page":"1-8","source":"Crossref","is-referenced-by-count":1,"title":["Non-divergent Imitation for Verification of Complex Learned Controllers"],"prefix":"10.1109","author":[{"given":"Vahdat","family":"Abdelzad","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jaeyoung","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sean","family":"Sedwards","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Soheil","family":"Soltani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Krzysztof","family":"Czarnecki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Adversarial soft advantage fitting: Imitation learning without policy optimization","author":"barde","year":"2020","journal-title":"NeurIPS"},{"key":"ref11","article-title":"Moet: Interpretable and verifiable reinforcement learning via mixture of expert trees","author":"vasic","year":"2019","journal-title":"ArXiv"},{"key":"ref12","first-page":"15 752","article-title":"Imitation-projected programmatic reinforcement learning","volume":"32","author":"verma","year":"2019","journal-title":"NeurIPS"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314638"},{"key":"ref14","doi-asserted-by":"crossref","DOI":"10.1609\/aaai.v32i1.12206","article-title":"Verifying properties of binarized deep neural networks","author":"narodytska","year":"2018","journal-title":"AAAI"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/IJCNN48605.2020.9207648"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2020.102450"},{"key":"ref17","first-page":"337","article-title":"Z3: An efficient SMT solver","author":"de moura","year":"2008","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref18","first-page":"2825","article-title":"Scikit-learn: Machine learning in Python","volume":"12","author":"pedregosa","year":"2011","journal-title":"Journal of Machine Learning Research"},{"journal-title":"Reinforcement Learning An Introduction","year":"2018","author":"sutton","key":"ref19"},{"key":"ref4","first-page":"2494","article-title":"Verifiable reinforcement learning via policy extraction","author":"bastani","year":"2018","journal-title":"NeurIPS"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-53288-8_5"},{"key":"ref6","first-page":"627","article-title":"A reduction of imitation learning and structured prediction to no-regret online learning","author":"ross","year":"2011","journal-title":"AISTATS"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10575-8"},{"key":"ref8","article-title":"Efficient reductions for imitation learning","volume":"9","author":"ross","year":"2010","journal-title":"Journal of Machine Learning Research"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.1983.6313077"},{"key":"ref2","article-title":"Algorithms for verifying deep neural networks","author":"liu","year":"2020","journal-title":"ArXiv"},{"key":"ref1","first-page":"97","article-title":"Re-luplex: An efficient smt solver for verifying deep neural networks","author":"katz","year":"2017","journal-title":"Computer Aided Verification"},{"key":"ref9","article-title":"f-gail: Learning f-divergence for generative adversarial imitation learning","author":"zhang","year":"2020","journal-title":"NeurIPS"},{"journal-title":"Efficient memory-based learning for robot control","year":"1990","author":"moore","key":"ref20"},{"journal-title":"keras-rl","year":"2016","author":"plappert","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1038\/nature14236"},{"journal-title":"Classification and Regression Trees","year":"1984","author":"breiman","key":"ref23"}],"event":{"name":"2021 International Joint Conference on Neural Networks (IJCNN)","start":{"date-parts":[[2021,7,18]]},"location":"Shenzhen, China","end":{"date-parts":[[2021,7,22]]}},"container-title":["2021 International Joint Conference on Neural Networks (IJCNN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9533266\/9533267\/09533410.pdf?arnumber=9533410","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,9]],"date-time":"2023-01-09T19:39:48Z","timestamp":1673293188000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9533410\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,18]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/ijcnn52387.2021.9533410","relation":{},"subject":[],"published":{"date-parts":[[2021,7,18]]}}}