Tan，Yong Kiam先生；斯特凡·米奇；安德烈·普拉泽 用逻辑验证切换系统的稳定性。 （英语） Zbl 07807710号 第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第2号论文，第11页（2022年）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{Y.K.Tan}等人，《第25届ACM混合系统国际会议论文集：计算与控制》，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第2号论文，第11页（2022；Zbl 07807710） 全文： 内政部 arXiv公司
王秋叶；陈明帅；薛、白；詹乃军；Joost-Pieter卡托恩 将归纳不变量编码为屏障证书：通过差分凸编程进行综合。 （英语） Zbl 07629155号 Inf.计算。 289，A部分，文章ID 104965，29 p.（2022）.MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{Q.Wang}等人，《信息计算》。289，A部分，文章ID 104965，29 p.（2022；Zbl 07629155） 全文： 内政部 arXiv公司
安德鲁·索戈孔；斯特凡·米奇；Tan，Yong Kiam先生；凯瑟琳·科德威尔；安德烈·普拉泽 飞马座：声音连续不变生成。 （英语） Zbl 1505.68045号 形式方法系统。设计。 58，编号1-2，5-41（2021）.MSC公司：68伏15 34-04 60年第68季度 93个B03 PDF格式BibTeX公司 XML格式引用 \textit{A.Sogokon}等人，《形式方法系统》。设计。58，编号1--2，5--41（2021；Zbl 1505.68045） 全文： 内政部 arXiv公司