Keyword:abstraction refinement

Publications
Tighter Abstract Queries in Neural Network Verification Elazar Cohen, Yizhak Yisrael Elboher, Clark Barrett and Guy Katz In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
An Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary Pavithra Prabhakar and Miriam García Soto In:Symbolic and Numerical Methods for Reachability Analysis, 1st International Workshop, SNR 2015
EPR-based k-induction with Counterexample Guided Abstraction Refinement Zurab Khasidashvili, Konstantin Korovin and Dmitry Tsarkov In:GCAI 2015. Global Conference on Artificial Intelligence