Enclosing of the Image of a Sphere by a Nonlinear Function Using Parallelepipeds
Boundary approach to characterize the inner and outer approximation of the image of a disk
Reachability Analysis to perform robotic missions safely
Interval-based validation of a nonlinear estimator
Introducing Box Chains to simplify Reachability Analysis
Reachability Analysis to perform robotic missions safely