Slides

Tutte le slide

• Lucid

  Pubblicato:12 dic 2025

  Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems

• Kernel-based learning of safety certificates

  Pubblicato:16 mag 2025

  A Data-Driven Framework for Certifying Safety in Systems with Black-Box Stochastic Dynamics

• Concurrency and parallelism in Python

  Pubblicato:17 lug 2024

  A brief overview of the differences between concurrency and parallelism, and how to achieve them in Python

• Verification of Neural Networks

  Pubblicato:5 lug 2024

  Verifica formale di reti neurali usando dlinear