Bridging the Gap Between AI and Reality
2026
Bridging the Gap Between AI and Reality
2025
Let’s Talk AI
2025
Tools and Algorithms for the Construction and Analysis of Systems
2019
Leveraging Applications of Formal Methods, Verification and Validation. X-by-Construction Meets Intersymbolic AI
2026
Leveraging Applications of Formal Methods, Verification and Validation. Scalable Verification and Validation of Concurrent and Distributed Systems
2026