Bernd Finkbeiner

Une nouvelle logique améliore l'étude des interactions des agents dans des systèmes complexes.

Cette étude se concentre sur la surveillance des comportements et des relations dans des systèmes complexes de manière efficace.

Une méthode pour corriger automatiquement les bugs logiciels en mettant l'accent sur la confidentialité et la sécurité.

Les explications contrefactuelles aident à déchiffrer les bugs des systèmes en temps réel.