{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,22]],"date-time":"2025-10-22T22:37:22Z","timestamp":1761172642119,"version":"build-2065373602"},"reference-count":14,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T00:00:00Z","timestamp":1757376000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T00:00:00Z","timestamp":1757376000000},"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":[[2025,9,9]]},"DOI":"10.1109\/etfa65518.2025.11205793","type":"proceedings-article","created":{"date-parts":[[2025,10,21]],"date-time":"2025-10-21T17:07:47Z","timestamp":1761066467000},"page":"1-4","source":"Crossref","is-referenced-by-count":0,"title":["Exploring Safe Reinforcement Learning Using Safety Shields Derived With System-Theoretic Process Analysis: A Case-Study on a Cruise Ship Hotel System"],"prefix":"10.1109","author":[{"given":"Akira","family":"King","sequence":"first","affiliation":[{"name":"Aalto University,Department of Electrical Engineering and Automation,Espoo,Finland"}]},{"given":"Erald","family":"Shahinas","sequence":"additional","affiliation":[{"name":"Aalto University,Department of Electrical Engineering and Automation,Espoo,Finland"}]},{"given":"Udayanto Dwi","family":"Atmojo","sequence":"additional","affiliation":[{"name":"Aalto University,Department of Electrical Engineering and Automation,Espoo,Finland"}]},{"given":"Valeriy","family":"Vyatkin","sequence":"additional","affiliation":[{"name":"Aalto University,Department of Electrical Engineering and Automation,Espoo,Finland"}]}],"member":"263","reference":[{"volume-title":"Tech. Rep. MEPC 80\/17\/Add.1 Annex 15","year":"2023","article-title":"2023 imo strategy on reduction of ghg emissions from ships","key":"ref1"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1007\/978-3-031-11629-2"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.35833\/MPCE.2020.000552"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1109\/TSG.2018.2834219"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.3390\/su162310534"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1016\/j.oceaneng.2022.111882"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1109\/TPAMI.2024.3457538"},{"volume-title":"International Conference on Concurrency Theory: 31st CONCUR","author":"K\u00f6nighofer","article-title":"Safe reinforcement learning using probabilistic shields","key":"ref8"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1007\/s11334-022-00480-4"},{"volume-title":"STPA handbook","year":"2018","author":"Leveson","key":"ref10"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.7551\/mitpress\/8179.001.0001"},{"volume-title":"International Conference on Learning Representations (ICLR)","author":"Xie","article-title":"Text2reward: Automated dense reward function generation for reinforcement learning","key":"ref12"},{"year":"2023","author":"Yu","article-title":"Language to rewards for robotic skill synthesis","key":"ref13"},{"volume-title":"Ships and marine technology \u2014 Air-conditioning and ventilation of accommodation spaces and other enclosed compartments on board ships \u2014 Design conditions and basis of calculations","year":"2022","key":"ref14"}],"event":{"name":"2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation (ETFA)","start":{"date-parts":[[2025,9,9]]},"location":"Porto, Portugal","end":{"date-parts":[[2025,9,12]]}},"container-title":["2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation (ETFA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11205475\/11205526\/11205793.pdf?arnumber=11205793","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,22]],"date-time":"2025-10-22T05:21:42Z","timestamp":1761110502000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11205793\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,9]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/etfa65518.2025.11205793","relation":{},"subject":[],"published":{"date-parts":[[2025,9,9]]}}}