Ausgabe 3/2021
Formal Methods and AI
Inhalt (8 Artikel)
Machine learning steered symbolic execution framework for complex software code
Lei Bu, Yongjuan Liang, Zhunyi Xie, Hong Qian, Yi-Qi Hu, Yang Yu, Xin Chen, Xuandong Li
SDLV: Verification of Steering Angle Safety for Self-Driving Cars
Huihui Wu, Deyun Lv, Tengxiang Cui, Gang Hou, Masahiko Watanabe, Weiqiang Kong
Exploiting augmented intelligence in the modeling of safety-critical autonomous systems
Zhibin Yang, Yang Bao, Yongqiang Yang, Zhiqiu Huang, Jean-Paul Bodeveix, Mamoun Filali, Zonghua Gu
Inferring Switched Nonlinear Dynamical Systems
Xiangyu Jin, Jie An, Bohua Zhan, Naijun Zhan, Miaomiao Zhang
Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation
Pengfei Yang, Jianlin Li, Jiangchao Liu, Cheng-Chao Huang, Renjue Li, Liqian Chen, Xiaowei Huang, Lijun Zhang
Learning safe neural network controllers with barrier certificates
Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock