Slides

Tutte le slide

• delpi

  Pubblicato:9 set 2026

  Verified Linear Programming through Tolerance-Aware Precision Boosting

• 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