伊万诺夫，拉多斯拉夫；泰勒·卡彭特；詹姆斯·韦默；拉杰夫·阿鲁尔；乔治·帕帕斯；李因苏普 Verisig 2.0：使用泰勒模型预处理验证神经网络控制器。 （英语） Zbl 1493.68211号 Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12759, 249-262 (2021).MSC公司：60年第68季度 34A34飞机 65G40型 65升05 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit｛R.Ivanov｝等人，Lect。注释计算。科学。12759，249--262（2021；Zbl 1493.68211） 全文： 内政部
拉杰夫·阿鲁尔；萨拉尔·莫拉里夫；托普库，乌福 多智能体系统反应控制器的合成和符号综合。 （英语） Zbl 1395.68267号 Inf.计算。 261，第4部分，616-633（2018）.MSC公司：68T42型 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人，《信息计算》。261，第4部分，616--633（2018；Zbl 1395.68267） 全文： 内政部