On the Probabilistic and Statistical Verification of Infinite Markov Chains
Invited talk at Petri Nets'25
Paris (France), June 2025
Some of my talks
2025
On the Probabilistic and Statistical Verification of Infinite Markov Chains
Invited talk at CAALM'25
Paris (France), June 2025
On the Probabilistic and Statistical Verification of Infinite Markov Chains
Invited talk at CSL'25
Amsterdam (The Netherlands), February 2025
2024
Beyond Decisiveness
of Infinite Markov Chains
Talk at FSTTCS'24
Online, December 2024
Beyond Decisiveness: When Statistical Verification Meets Numerical Verification
Talk for the ANR project BisoUS
Gif-sur-Yvette (France), November 2024
Beyond Decisiveness: When Statistical Verification Meets Numerical Verification
Talk for the ANR project MAVeriQ
Paris (France), May 2024
Beyond Decisiveness: When Statistical Verification Meets Numerical Verification
Talk at the CFV
Bruxelles (Belgium), March 2024
2023
The True Colors of Memory: A Tour of Chromatic-Memory Strategies in Zero-Sum Games on Graphs
Invited talk at GameSec'23
Avignon (France), October 2023
The True Colors of Memory: A Tour of Chromatic-Memory Strategies in Zero-Sum Games on Graphs
Invited tutorial at CIRM
Marseille (France), January 2023
2022
Playing (Almost-)Optimally in Concurrent Büchi and co-Büchi Games
Regular talk at FSTTCS'22
Chennai (India), December 2022
The true colors of memory: A tour of chromatic-memory strategies in zero-sum games on graphs
Invited talk at FSTTCS'22
Chennai (India), December 2022
Zone-based verification of timed automata: Extrapolations, simulations and what next?
Invited talk at the 20th anniversary of FORMATS
Warsaw (Poland), September 2022
Memory complexity for winning games on graphs
Invited talk at FoIKS'22
Helsinki (Finland), June 2022
2021
On the (Approximate) Analysis of Stochastic Real-Time Systems
Invited talk at RV'21
Online, October 2021
Parameterized concurrent games
Invited talk at CONCUR'21
Online, August 2021
De l'analyse automatique de systèmes temporisés au contrôle de systèmes dynamiques
Invited talk at GDR GPL (blog post)
Online, June 2021
Previous talks will be uploaded soon, but can be found here.