Tag: phd

All the posts with the tag "phd".

• Lucid

  Pubblicato:12 dic 2025

  Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems

• ROS - Introduction

  Pubblicato:26 set 2025

  Introduction presentation for ROS

• Error analysis

  Pubblicato:23 gen 2025

  How floating-point computations affect our results

• Verification of Neural Networks

  Pubblicato:5 lug 2024

  Formal verification of Neural Networks using dlinear