Publisher
Springer International Publishing
Reference40 articles.
1. Bak, S.: Execution-guided overapproximation (EGO) for improving scalability of neural network verification (2020). http://stanleybak.com/papers/bak2020vnn.pdf
2. Bak, S., Duggirala, P.S.: Hylaa: a tool for computing simulation-equivalent reachability for linear systems. In: Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control. HSCC 2017 (2017)
3. Lecture Notes in Computer Science;S Bak,2020
4. Bak, S., Tran, H.D., Johnson, T.T.: Numerical verification of affine systems with up to a billion dimensions. In: Proceedings of the 22Nd ACM International Conference on Hybrid Systems: Computation and Control, pp. 23–32. HSCC 2019, ACM, New York, NY, USA (2019). http://doi.acm.org/10.1145/3302504.3311792
5. Botoeva, E., Kouvaros, P., Kronqvist, J., Lomuscio, A., Misener, R.: Efficient verification of relu-based neural networks via dependency analysis. Proc. AAAI Conf. Artif. Intell. 34(04), 3291–3299 (2020). https://doi.org/10.1609/aaai.v34i04.5729, https://ojs.aaai.org/index.php/AAAI/article/view/5729
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献