research
∙
08/28/2023
Shielded Reinforcement Learning for Hybrid Systems
Safe and optimal controller synthesis for switched-controlled hybrid sys...
share
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
∙
01/09/2023
Implementations of two Algorithms for the Threshold Synthesis Problem
A linear pseudo-Boolean constraint (LPB) is an expression of the form a_...
research
∙
12/05/2022
symQV: Automated Symbolic Verification of Quantum Programs
We present symQV, a symbolic execution framework for writing and verifyi...
research
∙
07/06/2022
Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes
We present a novel approach to efficiently compute tight non-convex encl...
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
∙
06/03/2021
DeepOpt: Scalable Specification-based Falsification of Neural Networks using Black-Box Optimization
Decisions made by deep neural networks (DNNs) have a tremendous impact o...
research
∙
09/14/2020
Into the unknown: Active monitoring of neural networks
Machine-learning techniques achieve excellent performance in modern appl...
research
∙
11/20/2019
Outside the Box: Abstraction-Based Monitoring of Neural Networks
Neural networks have demonstrated unmatched performance in a range of cl...
research
∙
09/13/2016
