Alessandro Abate Seminar (1)
AIMS Seminar - 22nd January 2021
Automated and sound verification and control of dynamical models — learning meets logic
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.