恩斯特·莫里茨·哈恩；马特奥·佩雷斯；斯文·舍韦；法比奥·萨蒙齐；阿舒托什·特里维迪；多米尼克·沃伊特扎克 自动机理论强化学习是不可能的结果。 （英语） Zbl 1522.68269号 Bouajjani，Ahmed（编辑）等人，《验证和分析自动化技术》。第20届国际研讨会，ATVA 2022，虚拟活动，2022年10月25日至28日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13505, 42-57 (2022).MSC公司：65年第68季度 68问题32 68T05型 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Hahn}等人，Lect。注释计算。科学。13505，42-57（2022；Zbl 1522.68269） 全文： 内政部 链接
恩斯特·莫里茨·哈恩；霍尔格·赫尔曼斯 奖励概率混合自动机。 （英语） Zbl 1362.68172号 2013年4月8日至11日，美国宾夕法尼亚州费城，2013年HSCC，第16届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1567-8）。313-322 (2013).MSC公司：60年第68季度 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Hahn}和\textit{H.Hermanns}，in：第16届ACM混合系统国际会议论文集：计算和控制，HSCC 2013，美国宾夕法尼亚州费城，2013年4月8-11日。纽约州纽约市：计算机协会（ACM）。313--322（2013；Zbl 1362.68172） 全文： 内政部
恩斯特·莫里茨·哈恩；阿恩·哈特曼斯；霍尔格·赫尔曼斯；Joost-Pieter卡托恩 随机混合系统的组合建模和分析框架。 （英语） Zbl 1291.68293号 形式方法系统。设计。 43，编号2191-232（2013）.MSC公司：87年第68季度 68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Hahn}等人，《形式方法系统》。设计。43，第2号，191--232（2013；Zbl 1291.68293） 全文： 内政部
马丁·范策尔；恩斯特·莫里茨·哈恩；霍尔格·赫尔曼斯；尼科拉斯·沃尔维克；张丽君 随机混合系统的可测性和安全性验证。 （英语） Zbl 1362.68170号 2011年4月12日至14日，美国伊利诺伊州芝加哥，HSCC 2011，第14届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0629-4）。43-52 (2011).MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle}等人，in：第14届ACM混合系统国际会议论文集：计算与控制，HSCC 2011，芝加哥，伊利诺伊州，美国，2011年4月12-14日。纽约州纽约市：计算机协会（ACM）。43-52（2011年；Zbl 1362.68170） 全文： 内政部