Verifying Neural Network Controlled Systems by Combining Taylor Models and Linear Abstract Domains.

Minghao Li, Liqian Chen, Xinyu Wang, Shifu Yang, Yuan Zhou, Ji Wang

Browse the full ICECCS paper archive.