Bernhard Steffen

Books
Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
2019
Let’s Talk AI Let’s Talk AI
Let’s Talk AI
2025
Bridging the Gap Between AI and Reality Bridging the Gap Between AI and Reality
Bridging the Gap Between AI and Reality
2025
Bridging the Gap Between AI and Reality Bridging the Gap Between AI and Reality
Bridging the Gap Between AI and Reality
2025
Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
2025
Bridging the Gap Between AI and Reality Bridging the Gap Between AI and Reality
Bridging the Gap Between AI and Reality
2024