Sadegh Soudjani

Un nuovo modo per valutare la resilienza nei sistemi che affrontano disturbi.

Un metodo per verificare la sicurezza nelle auto a guida autonoma e nei droni usando le reti neurali.

Strumento automatizzato per verificare la correttezza dei programmi quantistici scritti in Silq.

Esplorare il ruolo degli algoritmi genetici nell'ottimizzazione del design dei circuiti quantistici.

Progettazione di controllori efficienti per sistemi incerti usando tecniche di astrazione.

Uno sguardo all'uso dei certificati di barriera per una verifica più sicura dei circuiti quantistici.

Silq semplifica la programmazione quantistica con funzionalità facili da usare.

Scopri come SymAware migliora la collaborazione e la sicurezza nei sistemi autonomi.

Un nuovo algoritmo minimizza il rimpianto rispettando regole complesse nell'apprendimento per rinforzo.

Scopri come i veicoli autonomi stanno cambiando il trasporto con la tecnologia smart.