The recording of the seminar “TEMPEST Synthesis Tool for Shields in Probabilistic Environments”, held on 22nd March 2022 is now available.
A special thank to Bettina Kรถnighofer and Stefan Pranger from the Graz University of Technology for the presentation.
Stay tuned for the following seminars to come!