{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T18:55:03Z","timestamp":1784314503314,"version":"3.55.0"},"reference-count":29,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62103114"],"award-info":[{"award-number":["62103114"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["U21A20474"],"award-info":[{"award-number":["U21A20474"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Guangxi Science and Technology Project","award":["GuikeAA22067070"],"award-info":[{"award-number":["GuikeAA22067070"]}]},{"name":"Guangxi 1000-Plan of Training Middle-Aged\/Young Teachers in Higher Education Institutions"},{"name":"Guangxi Talent Highland Project of Big Data Intelligence and Application"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Sci. Eng."],"published-print":{"date-parts":[[2025]]},"DOI":"10.1109\/tase.2024.3456239","type":"journal-article","created":{"date-parts":[[2024,9,17]],"date-time":"2024-09-17T18:56:38Z","timestamp":1726599398000},"page":"6896-6906","source":"Crossref","is-referenced-by-count":8,"title":["Synthesis of Opacity-Enforcing Supervisory Strategies Using Reinforcement Learning"],"prefix":"10.1109","volume":"22","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5945-9161","authenticated-orcid":false,"given":"Huimin","family":"Zhang","sequence":"first","affiliation":[{"name":"Key Laboratory of Education Blockchain and Intelligent Technology, Ministry of Education, and Guangxi Key Laboratory of Multi-Source Information Mining and Security, Guangxi Normal University, Guilin, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-2319-0907","authenticated-orcid":false,"given":"Li","family":"Huang","sequence":"additional","affiliation":[{"name":"Key Laboratory of Education Blockchain and Intelligent Technology, Ministry of Education, and Guangxi Key Laboratory of Multi-Source Information Mining and Security, Guangxi Normal University, Guilin, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-9912-3018","authenticated-orcid":false,"given":"Wanling","family":"Huang","sequence":"additional","affiliation":[{"name":"Key Laboratory of Education Blockchain and Intelligent Technology, Ministry of Education, and Guangxi Key Laboratory of Multi-Source Information Mining and Security, Guangxi Normal University, Guilin, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5703-5923","authenticated-orcid":false,"given":"Lei","family":"Feng","sequence":"additional","affiliation":[{"name":"Department of Machine Design, KTH Royal Institute of Technology, Stockholm, Sweden"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7083-3847","authenticated-orcid":false,"given":"Xianxian","family":"Li","sequence":"additional","affiliation":[{"name":"Key Laboratory of Education Blockchain and Intelligent Technology, Ministry of Education, and Guangxi Key Laboratory of Multi-Source Information Mining and Security, Guangxi Normal University, Guilin, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7"},{"key":"ref2","first-page":"165","article-title":"Using unification for opacity properties","volume-title":"Proc. Workshop Issues Theory Secur.","author":"Mazar\u00e9"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2007.4434515"},{"key":"ref4","article-title":"OpenAI gym","author":"Brockman","year":"2016","journal-title":"arXiv:1606.01540"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2015.7171016"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2020.108907"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s00034-020-01462-2"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2022.110238"},{"key":"ref9","article-title":"Reinforcement learning: An introduction second edition","volume-title":"Adaptive Computation and Machine Learning","author":"Sutton","year":"2018"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1137\/0325036"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-007-0020-5"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2008.4605918"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2042008"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2015.7170765"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2016.7497865"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-017-0264-7"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2021.3131125"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-022-00365-5"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2003.1244341"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1093\/ietfec\/e88-a.11.3045"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.asoc.2021.107714"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2022.10.318"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2023.02.033"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-77452-7"},{"key":"ref25","volume-title":"Markov Decision Processes: Discrete Stochastic","author":"Puterman","year":"2014"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/BF00992698"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.neunet.2008.02.003"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1038\/nature14236"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.382401"}],"container-title":["IEEE Transactions on Automation Science and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/8856\/10839176\/10681647.pdf?arnumber=10681647","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,17]],"date-time":"2025-03-17T17:54:56Z","timestamp":1742234096000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10681647\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/tase.2024.3456239","relation":{},"ISSN":["1545-5955","1558-3783"],"issn-type":[{"value":"1545-5955","type":"print"},{"value":"1558-3783","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]}}}