1 code implementation • 17 Jul 2019 • Xuankang Lin, He Zhu, Roopsha Samanta, Suresh Jagannathan
Our key insight is that we can integrate an optimization-based abstraction refinement loop into the learning process and operate over dynamically constructed partitions of the input space that considers accuracy and safety objectives synergistically.