zbMATH中的参考文献（参考文献330篇,1标准件)

1. 巴奇，乔瓦尼；布耶，帕特里夏；法伦堡，乌利；拉森，金G。；马基，尼古拉斯；Reynier，Pierre Alain:不确定性能量时间自动机的最优鲁棒控制器综合（2021）
2. 卡塞兹，弗朗克；詹森，彼得·居尔；Guldstrand，Larsen Kim:使用跟踪抽象精化的实时程序的验证和参数综合（2021）
3. 卡塔鲁扎，达里奥；亚伯特，亚历山德罗；施拉梅尔，彼得；Kroneing，Daniel:通过抽象加速度输入的带保护LTI模型的无界时间安全验证（2021）
4. 曼奇尼，托尼；玛丽，费德里科；马西尼，安娜丽莎；伊戈尔，梅拉蒂；恩里科·特隆奇：关于模拟脚本等价性的检验（2021）
5. 贝基，安娜；Zaffanella，Enea:PPLite:NNC多面体零开销编码（2020）
6. 法伦堡，乌利；勒盖，阿克塞尔；夸斯，卡林：用定量博弈计算分支距离（2020）
7. 苏伊纳加，科海；Ishizawa，Takuya:混合系统的广义属性定向可达性（2020）
8. 杨荣民；摩尔，托马斯；Raisch，Jörg:混合系统监督控制行为抽象的改进（2020）
9. 乔瓦诺维奇，亚历山德拉；石灰，迪迪埃；Roux，Olivier H.：实时系统参数控制的博弈方法（2019）
10. 约尔维斯，豪尔赫；Oliver，Stephen G.：通过防护柔性网络对混合系统进行建模、分析和控制（2019年）
11. 塞萨尔桑切斯；施耐德，杰拉多；阿伦特，沃尔夫冈；巴托奇、埃齐奥；比安库利，多梅尼科；科伦坡，基督教；法尔肯，伊莉丝；弗朗卡兰扎，阿德里安；Krstić，Srđan；卢伦索，若昂。；尼科维奇，德扬；佩斯，戈登J。；何塞，鲁菲诺；西诺尔斯，朱利安；特劳特尔，德米特里；Weiss，Alexander:来自高级应用领域（超越软件）的运行时验证挑战调查（2019）
12. 多恩，劳伦特；弗雷希，戈兰；帕帕斯，乔治J。；普莱泽混合动力系统验证（2018年）
13. 马朱姆达尔，鲁帕克；Raskin，Jean-François:非布尔域中的符号模型检查（2018）
14. 纳斯蒂，露西亚；米兰佐，保罗：社交网络成瘾的混合自动机模型（2018）
15. 张辉；吴金钊：MPSoC数据动态的形式化验证与量化度量（2018）
16. 巴克，斯坦利；博戈莫洛夫，塞尔吉；Althoff，Matthias:混合自动机可达性分析的时间触发保护转换（2017）
17. 巴克，斯坦利；Duggirala，Parasara Sridhar:基于严格仿真的线性混合系统分析（2017）
18. 博戈莫洛夫，塞尔吉；弗雷希，戈兰；贾科布，米尔科；Henzinger，Thomas A.：反例引导的模板多面体细化（2017）
19. Dreossi，Tommaso:Sapo:多项式动力系统的可达性计算和参数综合（2017）
20. 德劳西，托马索；当，曹；Piazza，Carla:多项式动力系统的可达性计算（2017）