Bernd Finkbeiner

Una nuova logica migliora lo studio delle interazioni tra agenti nei sistemi complessi.

Questo studio si concentra sul monitoraggio dei comportamenti e delle relazioni dei sistemi complessi in modo efficace.

Un metodo per la correzione automatica dei bug software con focus su privacy e sicurezza.

Le spiegazioni controfattuali aiutano a far luce sui problemi di sistema in tempo reale.