zbMATH中的参考文献(参考文献11条)

显示结果1到11,共11个。
按年份排序(引用)

  1. 卡塔鲁扎,达里奥;亚伯特,亚历山德罗;施拉梅尔,彼得;Kroneing,Daniel:通过抽象加速度输入的带保护LTI模型的无界时间安全验证(2021)
  2. Tsachouridis,瓦西里奥斯A。;吉安塔米迪斯,乔治亚;巴萨吉安尼斯,Stylianos;Kouramas,Kostas:Schulz矩阵反演算法的形式分析:通用矩阵流求解器的计算机辅助验证范例(2020)
  3. 德劳西,托马索;东泽,亚历山德拉;Seshia,Sanjit A.:具有机器学习组件的网络物理系统的合成伪造(2019)
  4. 川,黄勇;阮、阮越;汉密尔顿,纳撒尼尔;项伟明;Johnson,Taylor T.:高指数线性微分代数方程的可达性分析(2019)
  5. 陈,莫;赫伯特,西尔维亚L。;瓦希实他,玛哈什S。;班萨尔,索米尔;Tomlin,Claire J.:一类非线性系统的可达集与管的分解(2018)
  6. 巴克,斯坦利;Duggirala,Parasara Sridhar:基于严格仿真的线性混合系统分析(2017)
  7. Dreossi,Tommaso:Sapo:多项式动力系统的可达性计算和参数综合(2017)
  8. 黄振奇;范楚楚;Mitra,Sayan:时滞非线性网络动力学系统的有界不变验证(2017)
  9. 曼奇尼,托尼;玛丽,费德里科;马西尼,安娜丽莎;伊戈尔,梅拉蒂;萨尔沃,伊万诺;Tronci,Enrico:关于最小化最大预期验证时间(2017年)
  10. 巴克,斯坦利;博戈莫洛夫,塞尔吉;亨辛格,托马斯A。;约翰逊,泰勒T。;Prakash,Pradyot:非线性系统分析的可伸缩静态杂交方法(2016)
  11. 罗姆,亨德里克;Oehlerking,詹斯;悲哀,马提亚;混合自动化测试(Mattheaf,2016)


更多出版物请访问:https://publish.illinois.edu/c2e2-tool/publications/