Tag: phd

Tutti i post con il tag "phd".

• Algoritmi ad hoc

  Pubblicato:23 ott 2025

  Quando un’istanza diventa una classe

• 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