Slides
All slides
delpi
Pubblicato:Verified Linear Programming through Tolerance-Aware Precision Boosting
Simulation stack
Pubblicato:Showcase of the NRAI simulation stack for Formula Student AI 2026
Lucid
Pubblicato:Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems
ROS - Introduction
Pubblicato:Introduction presentation for ROS