Slides
Tutte le slide
Kernel-based learning of safety certificates
Pubblicato:A Data-Driven Framework for Certifying Safety in Systems with Black-Box Stochastic Dynamics
Concurrency and parallelism in Python
Pubblicato:A brief overview of the differences between concurrency and parallelism, and how to achieve them in Python
Verification of Neural Networks
Pubblicato:Verifica formale di reti neurali usando dlinear
Pubblicare un package su Ubuntu PPA
Pubblicato:Guida per creare e pubblicare un Debian source package su PPA