Bernhard Steffen

Let’s Talk AI

Bridging the Gap Between AI and Reality

Bridging the Gap Between AI and Reality

Formal Methods for Industrial Critical Systems

Bridging the Gap Between AI and Reality

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems