Safe and optimal controller synthesis for switched-controlled hybrid sys...
We study the problem of computing the preimage of a set under a neural
n...
A linear pseudo-Boolean constraint (LPB) is an expression of the form a_...
We present symQV, a symbolic execution framework for writing and verifyi...
We present a novel approach to efficiently compute tight non-convex
encl...
We study the verification problem for closed-loop dynamical systems with...
We present the first review of methods to overapproximate the set of
rea...
LazySets.jl is a Julia library that provides ways to symbolically repres...
In this article we introduce a solution method for a special class of
no...
Decisions made by deep neural networks (DNNs) have a tremendous impact o...
Machine-learning techniques achieve excellent performance in modern
appl...
Neural networks have demonstrated unmatched performance in a range of
cl...
PDDL+ planning has its semantics rooted in hybrid automata (HA) and rece...