zbMATH中的参考文献（参考文献25条,1标准件)

1. 卡塔鲁扎，达里奥；亚伯特，亚历山德罗；施拉梅尔，彼得；Kroneing，Daniel:通过抽象加速度输入的带保护LTI模型的无界时间安全验证（2021）
2. 法伦堡，乌利；勒盖，阿克塞尔；夸斯，卡林：用定量博弈计算分支距离（2020）
3. 巴克，斯坦利；博戈莫洛夫，塞尔吉；Althoff，Matthias:混合自动机可达性分析的时间触发保护转换（2017）
4. 热比哈，穗状体；穆拉，阿纳尔多五世。；Matringe，Nadir:非线性混合系统的不变量生成（2015）
5. 亚历山德罗·西马蒂；搬运工，塞尔吉奥；托内塔，斯特凡诺：混合系统不变量的无量词编码（2014）
6. 谢定宝；不，雷；赵建华；李宣东：SAT-LP-IIS联合有向路径定向线性混合自动机有界可达性分析（2014）
7. 严、超；格林斯特里特，马克R。；杨素文：验证Möbius环形振荡器的全球启动（2014）
8. 亚历山德罗·西马蒂；塞尔吉奥；托内塔，斯特凡诺：混合动力系统基于SMT的场景验证（2013）
9. 哈恩，恩斯特莫里茨；哈特曼，阿恩德；赫尔曼，霍尔格；Katoen，Joost Pieter:随机混杂系统的组合建模与分析框架（2013）
10. 阿斯普朗，米凯尔；曼佐尔，Atif；波罗什，梅兰尼；克拉克，西布哈恩；卡希尔，维尼：自主车辆协调的正式方法（2012）ioport公司
11. 巴德班，巴哈雷；Lange，Martin:带SMT解算器的时间自动机精确增量分析（2011）
12. 施耐德，斯文；Nestmann，Uwe:使用过程计算对混合系统进行严格离散化（2011）
13. 泰格，蒂诺；埃格斯，安德烈亚斯；Fränzle，Martin:基于约束的并发概率混合系统分析：网络自动化系统的应用（2011）
14. 阿克巴普尔，贝沙德；Paulson，Lawrence Charles:MetiTarski:实值特殊函数的自动定理证明器（2010）
15. 马丁，弗兰兹勒；泰格，蒂诺；Eggers，Andreas:概率混合自动机自动分析的工程约束求解器（2010）
16. 埃格斯，安德烈亚斯；卡林尼克，纳塔莉亚；库普费希米德，斯特凡；Teige，Tino:混合动力系统基于约束分析的挑战（2009）
17. 拉斯坎，斯特凡；Smaus，Jan Georg:通过优化基于抽象的质量评估来发现混合系统的错误（2009）
18. 埃格斯，安德烈亚斯；马丁，弗兰兹勒；赫德，克里斯蒂安：SAT模数ODE：混合动力系统的直接SAT方法（2008）
19. 马丁，弗兰兹勒；赫尔曼，霍尔格；Teige，Tino:随机可满足模理论：概率混杂系统分析的新技术（2008）
20. 泰格，蒂诺；Fränzle，Martin:非线性算法的随机可满足性模理论（2008）