Bernd Finkbeiner

Uma nova lógica melhora o estudo das interações entre agentes em sistemas complexos.

Este estudo foca em monitorar o comportamento e as relações de sistemas complexos de forma eficaz.

Um método pra conserto automático de bugs de software com foco em privacidade e segurança.

Explicações contrafactuais ajudam a desvendar falhas em sistemas em tempo real.