research
∙
08/27/2023
The inverse problem for neural networks
We study the problem of computing the preimage of a set under a neural n...
research
∙
12/16/2021
Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes
We study the verification problem for closed-loop dynamical systems with...
research
∙
11/02/2021
Conservative Time Discretization: A Comparative Study
We present the first review of methods to overapproximate the set of rea...
research
∙
10/04/2021
LazySets.jl: Scalable Symbolic-Numeric Set Computations
LazySets.jl is a Julia library that provides ways to symbolically repres...
research
∙
08/23/2021
Reachability of weakly nonlinear systems using Carleman linearization
In this article we introduce a solution method for a special class of no...
research
∙
05/12/2021