Alec Edwards | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Alessandro Abate
52 publications
Mirco Giacobbe
6 publications
Andrea Peruffo
6 publications
Hashan Punchihewa
1 publication
Diptarko Roy
1 publication

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...

0 Alec Edwards, et al. ∙

research

∙ 07/28/2023

On the Trade-off Between Efficiency and Precision of Neural Abstraction

Neural abstractions have been recently introduced as formal approximatio...

0 Alec Edwards, et al. ∙

research

∙ 01/27/2023

Neural Abstractions

We present a novel method for the safety verification of nonlinear dynam...

0 Alessandro Abate, et al. ∙

research

∙ 01/15/2023

Quantitative Verification With Neural Networks For Probabilistic Programs and Stochastic Systems

We present a machine learning approach to quantitative verification. We ...

0 Alessandro Abate, et al. ∙