We have an opportunity to introduce our project at the Digital Futures seminar, KTH Royal Institute of Technology, Sweden as follows.

Date: 14th June 2024.
Venue: KTH main campus, Stockholm [Event URL]
Toshiaki Aoki: Practical Applications of Formal Methods to Next-generation Automotive Systems