zbMATH中的参考文献（参考 24篇文章 24篇，1标准件)

1. 法伦伯格，乌利；莱盖，阿克塞尔；夸斯，卡林：用定量游戏计算分支距离（2020年）
2. Bak，Stanley；Bogomolov，Sergiy；Althoff，Matthias:混合自动机可达性分析的时间触发保护转换（2017）
3. Rebiha，Rachid；Moura，Arnaldo V.；Matringe，Nadir:非线性混合系统的不变量生成（2015）
4. Cimatti，Alessandro；Mover，Sergio；Tonetta，Stefano:混合系统不变量的无量词编码（2014）
5. 谢定宝；卜，雷；赵建华；李宣东：SAT-LP-IIS联合定向路径的线性混合自动机有界可达性分析（2014）
6. Yan，Chao；Greenstreet，Mark R.；Yang，Suwen：验证Möbius环形振荡器的全球启动（2014）
7. Cimatti，Alessandro；Mover，Sergio；Tonetta，Stefano:混合动力系统基于SMT的场景验证（2013）
8. Hahn，Ernst Moritz；Hartmanns，Arnd；Hermanns，Holger；Katoen，Joost Pieter:随机混杂系统的组合建模与分析框架（2013）
9. Mikael Asplund；Manzoor，Atif；Bouroche，Mélanie；Clarke，Siobhán；Cahill，Vinny：自主车辆协调的正式方法（2012年）ioport公司
10. Badban，Bahareh；Lange，Martin:带SMT解算器的时间自动机精确增量分析（2011）
11. Schneider，Sven；Nestmann，Uwe:使用过程计算对混合系统进行严格离散化（2011）
12. Teige，Tino；Eggers，Andreas；Fränzle，Martin:基于约束的并发概率混合系统分析：网络自动化系统的应用（2011）
13. Akbarpour，Behzad；Paulson，Lawrence Charles:MetiTarski:实值特殊函数的自动定理证明器（2010）
14. Fränzle，Martin；Teige，Tino；Eggers，Andreas：概率混合自动机自动分析的工程约束求解器（2010）
15. Eggers，Andreas；Kalinnik，Natalia；Kupferschmid，Stefan；Teige，Tino:基于约束的混合系统分析的挑战（2009）
16. Ratschan，Stefan；Smaus，Jan Georg:通过优化基于抽象的质量评估来发现混合系统的错误（2009）
17. 安德烈亚斯·埃格斯；马丁·弗兰兹勒；克里斯蒂安·赫德：《SAT模块编码：混合动力系统的直接SAT方法》（2008年）
18. Fränzle，Martin；Hermanns，Holger；Teige，Tino:随机可满足模理论：概率混合系统分析的新技术（2008）
19. Teige，Tino；Fränzle，Martin:非线性算法的随机可满足性模理论（2008）
20. Damm，Werner；Disch，Stefan；Hungar，Hardi；Jacobs，Swen；Pang，Jun；Pigorsch，Florian；Scholl，Christoph；Waldmann，Uwe；Wirtz，Boris:具有大离散状态空间的线性混合系统验证中的精确状态集表示（2007）