Interval-based validation of a nonlinear estimator
Introducing Box Chains to simplify Reachability Analysis
Reachability Analysis to perform robotic missions safely
Interval-based validation of a non-linear estimator
Presentation of ENSTA Bretagne's USV : HELIOS