Skip to main content

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.