Decisiveness for countable MDPs and insights for NPLCSs and POMDPs
Invited talk at PFQA'25, the workshop celebrating Christel Baier's birthday
Aarhus (Denmark), August 2025
Some of my talks
2025
On the Probabilistic and Statistical Verification of Infinite Markov Chains
Invited talk at Petri Nets'25
Paris (France), June 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
2020
On finite-memory determinacy of games on graphs
Invited talk at Spotlight on Games
Online, October 2020
When are Finite Games Finite-Memory Determined?
Invited talk at RP'20
Online, October 2020
2019
Previous talks will be uploaded at some point, but can anyway be found here.