research
∙
09/12/2023
A General Verification Framework for Dynamical and Control Models via Certificate Synthesis
An emerging branch of control theory specialises in certificate learning...
share
research
∙
11/03/2022
Data-driven Abstractions for Verification of Deterministic Systems
A common technique to verify complex logic specifications for dynamical ...
research
∙
03/10/2022
Data-driven Abstractions with Probabilistic Guarantees for Linear PETC Systems
We employ the scenario approach to compute probably approximately correc...
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...
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