Issue 3/2021
Formal Methods and AI
Content (8 Articles)
Original Article
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
Original Article
SDLV: Verification of Steering Angle Safety for Self-Driving Cars
Huihui Wu, Deyun Lv, Tengxiang Cui, Gang Hou, Masahiko Watanabe, Weiqiang Kong
Original Article
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
Original Article
Inferring Switched Nonlinear Dynamical Systems
Xiangyu Jin, Jie An, Bohua Zhan, Naijun Zhan, Miaomiao Zhang
Original Article
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
Original Article
Learning safe neural network controllers with barrier certificates
Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock