research
∙
07/21/2020
Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers
In this paper we employ SMT solvers to soundly synthesise Lyapunov funct...
share
research
∙
07/07/2020
Automated Formal Synthesis of Neural Barrier Certificates for Dynamical Models
We introduce an automated, formal, counterexample-based approach to synt...
research
∙
03/19/2020
