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
∙
07/28/2023
On the Trade-off Between Efficiency and Precision of Neural Abstraction
Neural abstractions have been recently introduced as formal approximatio...
research
∙
01/27/2023
Neural Abstractions
We present a novel method for the safety verification of nonlinear dynam...
research
∙
01/15/2023