违反

此软件的关键字
zbMATH中的参考文献(参考
20篇文章
参考, 1标准件 )
Goyal,Manish;Duggirala,Parasara Sridhar:提取线性混合动力系统中安全违规引发的反例(2020年) Tsachouridis,Vassilios A.;Giantamidis,Georgios;Basagiannis,Stylianos;Kouramas,Kostas:Schulz矩阵反演算法的形式分析:通用矩阵流求解器的计算机辅助验证范式(2020) Dreossi,Tommaso;Donzé,Alexandre;Seshia,Sanjit A.:使用机器学习组件对网络物理系统进行组合伪造(2019年) Jha,Susmit;Tiwari,Ashish;Seshia,Sanjit A.;Sahai,Tuhin;Shankar,Natarajan:电传:使用紧密性度量从正面示例学习信号时序逻辑(2019年) Magron,Victor;Garoche,Pierre Loic;Henrion,Didier;Thirioux,Xavier:离散时间多项式系统可达集的半定逼近(2019) 塞萨尔桑切斯;施耐德,杰拉多;阿伦特,沃尔夫冈;巴托奇,埃齐奥;比安库利,多梅尼科;科伦坡,克里斯蒂安;法尔科内,伊莱;弗朗卡兰扎,阿德里安;克尔斯蒂奇,斯里安;卢伦索,若昂;尼科维奇,德扬;佩斯,戈登J;鲁菲诺,何塞;西诺尔,朱利安;特劳特尔,德米特里;韦斯, Alexander:来自高级应用领域(超越软件)的运行时验证挑战调查(2019) Sibai,Hussein;Mokhlesi,Navid;Mitra,Sayan:在等变动态系统中使用对称变换进行安全验证(2019) Jakšić,Stefan;Bartocci,Ezio;Grosu,Radu;Nguyen,Thang;Nicčković,Dejan:用编辑距离定量监测STL(2018年) šeška,米兰;Dannenberg,Frits;Paoletti,Nicola;Kwiatkowska,Marta;Brim,Luboš:随机生化系统的精确参数综合(2017) Deshmukh,Jyotirmoy V.;Donzé,Alexandre;Ghosh,Shromona;Jin,Xiaoqing;Juniwal,Garvit;Seshia,Sanjit A.:信号时序逻辑的强大在线监测(2017年) Deshmukh,Jyotirmoy诉;Majumdar,Rupak;Prabhu,Vinayak S.:使用Skorokod指标量化合规性(2017年) 动力学系统的可达性,2017年:masdreo系统的可达性 黄振奇;范楚初;米特拉,萨扬:时滞非线性网络动力系统的有界不变验证(2017) Kassem,Ali;Falcone,Yliès;Lafourcade,Pascal:电子考试的正式分析和离线监控(2017) Sanwal,Usman;Siddique,Umair:结合精炼和信号时序逻辑的生物系统(2017) Navarro-López,Eva M.;Carter,Rebekah:混合动力系统中的死亡与如何反驳活性(2016) Bartocci,Ezio;Bortolussi,Luca;Nenzi,Laura;Sanguinetti,Guido:使用时间特性鲁棒性的随机模型的系统设计(2015) Brim,Luboš;šeška,米兰;šafránek,大卫:生物系统的模型检查(2013) Annpureddy,Yashwanth;Liu,Che;Fainekos,Georgios;Sankaranarayanan,Sriram:S-Tariro:混合系统的时序逻辑证伪工具(2011) Donzé,Alexandre:Breach——混合系统验证和参数综合的工具箱(2010) ioport公司