129 citations · 153 across the 17 of their papers we have counts for
3 papers · 1 filter
On the Trade-off Between Efficiency and Precision of Neural Abstraction
Alec Edwards, Mirco Giacobbe, Alessandro Abate
Neural abstractions have been recently introduced as formal approximations of complex, nonlinear dynamical models. They comprise a neural ODE and a certified upper bound on the err…
Neural Abstractions
Alessandro Abate, Alec Edwards, Mirco Giacobbe
We present a novel method for the safety verification of nonlinear dynamical models that uses neural networks to represent abstractions of their dynamics. Neural networks have exte…
Quantitative Verification with Neural Networks
Alessandro Abate, Alec Edwards, Mirco Giacobbe +2
We present a data-driven approach to the quantitative verification of probabilistic programs and stochastic dynamical models. Our approach leverages neural networks to compute tigh…