Affiliation:
1. Department of Electrical and Computer Engineering, University of Southern California, Los Angeles, CA, USA
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Artificial Intelligence,Control and Optimization,Computer Science Applications,Computer Vision and Pattern Recognition,Mechanical Engineering,Human-Computer Interaction,Biomedical Engineering,Control and Systems Engineering
Reference27 articles.
1. Verifying controllers with convolutional neural network-based perception: A case for intelligible, safe, and precise abstractions;hsieh,2021
2. Guaranteeing Safety for Neural Network-Based Aircraft Collision Avoidance Systems
3. Laminar research: X-plane 11 (2019),2019
4. Nnlander-verif: A neural network formal verification framework for vision-based autonomous aircraft landing;cruz;Proc NASA Formal Methods Symp,0
5. Output Reachable Set Estimation and Verification for Multilayer Neural Networks
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献