Bernd Finkbeiner

A new logic improves the study of agent interactions in complex systems.

This study focuses on monitoring complex system behaviors and relationships effectively.

A method for automatic software bug fixing focusing on privacy and security.

Counterfactual explanations help unravel real-time system glitches.