Tag: phd

Tutti i post con il tag "phd".

• Kernel-based learning of safety certificates

  Pubblicato:16 mag 2025

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

• Visita a TU/e

  Pubblicato:19 mar 2025

  Quella volta che... sono andato a Eindhoven per collaborare con il TU/e

• Verification of Neural Networks

  Pubblicato:5 lug 2024

  Verifica formale di reti neurali usando dlinear

• SymAware consortium

  Pubblicato:17 mag 2024

  Quella volta che... sono andato a Stoccolma per il secondo "consortium meeting" di SymAware