马克·韦兹林格;尼古拉斯·科奇杜普尔;巴克·斯坦利;马蒂亚斯·阿尔霍夫 使用支持函数的可达性分析对线性系统进行全自动验证。 （英语） Zbl 07807946号 第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第5号文件，第12页（2023）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{M.Wetzlinger}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第5号论文，第12页（2023；Zbl 07807946） 全文： 内政部 链接
斯特凡·舒普;艾丽卡·阿尔布拉汉姆;特里斯坦·埃伯特 混合系统验证理论和工具支持的最新发展HyPro公司. （英语） Zbl 07629138号 Inf.计算。 289，A部分，文章ID 104945，25 p.（2022）.MSC公司：60年第68季度 93-04 93个B03 93立方 PDF格式BibTeX公司 XML格式引用 \textit{S.Schupp}等人，《信息计算》。289，A部分，文章ID 104945，25 p.（2022；Zbl 07629138） 全文： 内政部 OA许可证