Thomas A. Henzinger

Scopri il ruolo di QuAK nella valutazione delle prestazioni e della sicurezza del sistema.

I sistemi di fairness tengono d'occhio le decisioni dell'IA per promuovere l'uguaglianza e ridurre i pregiudizi.

Il monitoraggio runtime innovativo migliora la sicurezza e la stabilità nei droni e nelle navi.

Scopri come il monitoraggio predittivo migliora la sicurezza nelle auto a guida autonoma e nei robot.