Alessandro Abate Seminar at the Department of Engineering Science, University of Oxford

In this talk, I will report on ongoing initiatives to employ formal techniques from logic (Boolean and SAT modulo theory) to synthesise control architectures for dynamical models. I will also describe recent results where learning neural nets can bolster formal verification and strategy synthesis objectives.