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

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