{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T15:22:18Z","timestamp":1781018538308,"version":"3.54.1"},"reference-count":31,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,9,27]],"date-time":"2021-09-27T00:00:00Z","timestamp":1632700800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,9,27]],"date-time":"2021-09-27T00:00:00Z","timestamp":1632700800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,9,27]],"date-time":"2021-09-27T00:00:00Z","timestamp":1632700800000},"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":[[2021,9,27]]},"DOI":"10.1109\/iros51168.2021.9635925","type":"proceedings-article","created":{"date-parts":[[2021,12,16]],"date-time":"2021-12-16T20:45:38Z","timestamp":1639687538000},"page":"5590-5595","source":"Crossref","is-referenced-by-count":13,"title":["Benchmarking Safe Deep Reinforcement Learning in Aquatic Navigation"],"prefix":"10.1109","author":[{"given":"Enrico","family":"Marchesini","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Davide","family":"Corsi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alessandro","family":"Farinelli","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref31","doi-asserted-by":"crossref","DOI":"10.1609\/aaai.v32i1.11694","article-title":"Deep reinforcement learning that matters","author":"henderson","year":"2018","journal-title":"AAAI"},{"key":"ref30","article-title":"Prioritized Experience Replay","author":"schaul","year":"2016","journal-title":"ICLRE"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2017.8206049"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/IRC.2019.00080"},{"key":"ref12","article-title":"Evolutionary RL","author":"khadka","year":"2018","journal-title":"NIPS"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v34i04.5728"},{"key":"ref14","article-title":"Genetic deep reinforcement learning for mapless navigation","author":"marchesini","year":"2020","journal-title":"AAMAS"},{"key":"ref15","article-title":"Efficient formal safety analysis of neural networks","author":"wang","year":"2018","journal-title":"NIPS"},{"key":"ref16","article-title":"Interval arithmetic and automatic error analysis in digital computing","author":"moore","year":"1963","journal-title":"Ph D dissertation Stanford Univ"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1084\/jem.20170879"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/IROS45743.2020.9341105"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ITNEC.2019.8729203"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TNNLS.2018.2808470"},{"key":"ref4","article-title":"Unity: A Platform for Intelligent Agents","author":"juliani","year":"2018"},{"key":"ref27","article-title":"Reachable set computation and safety verification for neural networks with relu activations","author":"xiang","year":"2017"},{"key":"ref3","article-title":"Benchmarking Safe Exploration in Deep Reinforcement Learning","author":"ray","year":"2019","journal-title":"Open"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2019.8793979"},{"key":"ref29","article-title":"Proximal Policy Optimization Algorithms","author":"schulman","year":"2017","journal-title":"CoRR"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA40945.2020.9196739"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2018.8460661"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2017.7989604"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2012.6386109"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.dib.2020.105436"},{"key":"ref1","article-title":"OpenAI Gym","author":"brockman","year":"2016"},{"key":"ref20","doi-asserted-by":"crossref","DOI":"10.1609\/aaai.v32i1.11796","article-title":"Rainbow: Combining Improvements in DRL","author":"hessel","year":"2018","journal-title":"AAAI"},{"key":"ref22","article-title":"Continuous control with DRL","author":"lillicrap","year":"2015"},{"key":"ref21","article-title":"Genetic soft updates for policy evolution in deep reinforcement learning","author":"marchesini","year":"2021","journal-title":"ICLRE"},{"key":"ref24","article-title":"Formal verification of neural networks for safety-critical tasks in deep reinforcement learning","author":"corsi","year":"2021","journal-title":"UAI"},{"key":"ref23","article-title":"Safety and trustworthiness of deep neural networks: A survey","author":"huang","year":"2018","journal-title":"CoRR"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/IRC.2020.00062"},{"key":"ref25","article-title":"Algorithms for verifying deep neural networks","author":"liu","year":"2019"}],"event":{"name":"2021 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)","location":"Prague, Czech Republic","start":{"date-parts":[[2021,9,27]]},"end":{"date-parts":[[2021,10,1]]}},"container-title":["2021 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9635848\/9635849\/09635925.pdf?arnumber=9635925","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,18]],"date-time":"2023-01-18T22:37:41Z","timestamp":1674081461000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9635925\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9,27]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/iros51168.2021.9635925","relation":{},"subject":[],"published":{"date-parts":[[2021,9,27]]}}}