科恩，马克斯·H。;塞林，扎卡里;莱希、凯文;卡林·贝尔塔 时序逻辑指导的基于安全模型的强化学习：一种混合系统方法。 （英语） Zbl 1505.93116号 非线性分析。，混合系统。 47，文章ID 101295，23 p.（2023）.MSC公司：93立方 93C40型 03B44号 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.H.Cohen}等人，《非线性分析》。，混合系统。47，文章ID 101295，23 p.（2023；Zbl 1505.93116） 全文： 内政部
Masaki Waga;埃泽奎尔·卡斯特拉诺;萨西内·普鲁克普拉塞特;斯特凡·克里科维茨;Toru Takisaka公司;一郎·哈索 动态屏蔽，用于黑盒环境中的强化学习。 （英语） Zbl 1522.68351号 Bouajjani，Ahmed（编辑）等人，《验证和分析自动化技术》。第20届国际研讨会，2022年亚洲电视协会，虚拟活动，2022年10月25日至28日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。13505, 25-41 (2022).MSC公司：60年第68季度 68问题32 65年第68季度 68T05型 90立方厘米 93立方 PDF格式BibTeX公司 XML格式引用 \textit{M.Waga}等人，Lect。注释计算。科学。13505，25-41（2022；Zbl 1522.68351） 全文： 内政部 arXiv公司
阿波法兹·拉瓦伊;苏德贾尼，萨代格;亚历山德罗·阿巴特;马吉德·扎马尼 随机混合系统的自动验证和综合：综述。 （英语） Zbl 1504.93389号 Automatica公司 146，文章ID 110617，第40页（2022）.MSC公司：93E12号机组 93立方 93C55美元 90立方厘米 93-02 PDF格式BibTeX公司 XML格式引用 \textit{A.Lavaei}等人，Automatica 146，文章ID 110617，40 p.（2022；Zbl 1504.93389） 全文： 内政部 arXiv公司
内森·亨特;内森·富尔顿;萨拉·马格里亚坎;Hoang，Trong Nghia村;Das、Subhro;阿曼多·索拉勒扎马 端到端强化学习的可验证安全探索。 （英语） Zbl 07807687号 2021年5月19日至21日，美国田纳西州纳什维尔，第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分。纽约州纽约市：计算机协会（ACM）。第14号论文，第11页（2021年）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{N.Hunt}等人，在：第24届ACM混合系统国际会议论文集：计算和控制，HSCC 2021，CPS物联网周的一部分，美国田纳西州纳什维尔，2021年5月19-21日。纽约州纽约市：计算机协会（ACM）。第14号论文，第11页（2021；Zbl 07807687） 全文： 内政部 arXiv公司