Talks
-
2024:
- Taming Large MDPs Through Stochastic Games, Journées Annuelles du GT Vérif 2024, 20/11, Université de Lille, Lille, France.
[slides]
- Taming Large MDPs Through Stochastic Games, Highlights 2024,
19/09, LaBRI, Bordeaux, France.
[slides]
- Generation of Counterexamples for Synthesis in Markov Decision Processes, MOVEP 2024,
30/05, IRISA, Rennes, France.
[slides]
-
2023:
- Generation and Exploitation of Counterexamples in
Stochastic Models, Seminar given at Masaryk University,
16/10, Brno, Czech Republic.
[slides]
[
Back to main page]
