Courses given at (summer) schools
2026
- Introduction to Timed Automata, 08 September 2026. École d'été Temps Réel (ETR), ISAE-ENSMA, Poitiers, France. [Slides] [Lab exercises]
2024
- Model Learning — An introduction to L*, July 2024. Software testing and beyond, Antwerpen, Belgium.