Formal verification of neural network controlled autonomous systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Xiaowu Sun, Haitham Khedr, Yasser Shoukry. Formal verification of neural network controlled autonomous systems. In Necmiye Ozay, Pavithra Prabhakar, editors, Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019. pages 147-156, ACM, 2019. [doi]

This author has not been identified. Look up 'Xiaowu Sun' in GoogleThis author has not been identified. Look up 'Haitham Khedr' in GoogleThis author has not been identified. Look up 'Yasser Shoukry' in Google

runs on WebDSL