恩斯特·莫里茨·哈恩;霍尔格·赫尔曼斯 奖励概率混合自动机。 （英语） 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） 全文： 内政部
马丁·范策尔;霍尔格·赫尔曼斯;蒂诺·特伊格 随机可满足性模理论：概率混合系统分析的新技术。 （英语） Zbl 1143.68452号 Egerstedt，Magnus（编辑）等人，《混合系统：计算和控制》。2008年4月22日至24日在美国密苏里州圣路易斯举行的2008年HSCC第11届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78928-4/pbk）。计算机科学课堂讲稿4981172-186（2008）。MSC公司：60年第68季度 65年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle}等人，Lect。注释计算。科学。4981、172--186（2008年；Zbl 1143.68452） 全文： 内政部