沙基巴雅古比;乔治·费内科斯 带有机器学习组件的控制系统的灰箱对抗测试。 （英语） Zbl 07120153号 第22届ACM混合系统国际会议论文集：计算与控制，HSCC 2019，加拿大魁北克省蒙特利尔，2019年4月16日至18日。纽约州纽约市：计算机协会（ACM）。179-184 (2019). 引用于2文件 MSC公司： 65年第68季度 形式语言和自动机 第68季度第60季度 规范和验证（程序逻辑、模型检查等） 93立方 由微分方程以外的函数关系控制的控制/观测系统（例如混合系统和开关系统） 关键词：神经网络;优化;测试和验证 PDF格式BibTeX公司 XML格式引用 \textit{S.Yaghoubi}和\textit{G.Fainekos}，in：第22届ACM混合系统国际会议论文集：计算和控制，HSCC 2019，加拿大魁北克省蒙特利尔，2019年4月16-18日。纽约州纽约市：计算机协会（ACM）。179-184（2019年；Zbl 07120153） 全文： 内政部 arXiv公司