zbMATH中的参考文献（引用于 324篇文章 引用，1标准件)

1. 安娜·贝奇（Becchi）；扎法内拉（Zaffanella），Enea:PPLite:NNC多面体零开销编码（2020）
2. 法伦伯格，乌利；莱盖，阿克塞尔；夸斯，卡林：用定量游戏计算分支距离（2020年）
3. Suenaga，Kohei；Ishizawa，Takuya:混合动力系统的广义属性导向可达性（2020）
4. Yang，Jung Min；Moor，Thomas；Raisch，Jörg:混合动力系统监督控制的行为抽象细化（2020）
5. Jovanović，Aleksandra；Lime，Didier；Roux，Olivier H.：实时系统参数控制的博弈方法（2019）
6. Júlvez，Jorge；Oliver，Stephen G.：通过防护柔性网络对混合系统进行建模、分析和控制（2019年）
7. 塞萨尔桑切斯；施耐德，杰拉多；阿伦特，沃尔夫冈；巴托奇，埃齐奥；比安库利，多梅尼科；科伦坡，克里斯蒂安；法尔科内，伊莱；弗朗卡兰扎，阿德里安；克尔斯蒂奇，斯里安；卢伦索，若昂；尼科维奇，德扬；佩斯，戈登J；鲁菲诺，何塞；西诺尔，朱利安；特劳特尔，德米特里；韦斯，Alexander:来自高级应用领域（超越软件）的运行时验证挑战调查（2019）
8. Doyen，Laurent；Frehse，Goran；Pappas，George J.；Platzer，André：混合动力系统验证（2018）
9. Majumdar，Rupak；Raskin，Jean François:非布尔域中的符号模型检查（2018）
10. Nasti，Lucia；Milazzo，Paolo：社交网络成瘾的混合自动机模型（2018）
11. 张辉；吴金钊：MPSoC数据动态的形式化验证与量化度量（2018）
12. Bak，Stanley；Bogomolov，Sergiy；Althoff，Matthias:混合自动机可达性分析的时间触发保护转换（2017）
13. Dreossi，Tommaso:Sapo:多项式动力系统的可达性计算和参数综合（2017）
14. Dreossi，Tommaso；Dang，Thao；Piazza，Carla:多项式动力系统的可达性计算（2017）
15. Letichevsky，A.A.；Letychevskyi，O.O.；Skobelev，V.G.；Volkov，V.A.：网络物理系统（2017）
16. Baştuí，Mert；Petreczky，Mihály；Wisniewski，Rafael；Leth，John:具有约束交换的线性交换系统的可达性和可观测性缩减（2016）
17. Colvin，Robert J.：使用混合过程代数建模和分析神经网络（2016）
18. Papadopoulos，Alessandro Vittorio；Prandini，Maria:交换仿射系统的模型简化（2016）
19. Sankaranarayanan，Sriram:非线性混合系统的基础抽象变化（2016）
20. Simon Wimmer:形式化时间自动机（2016）