2026 Stopping Criterion for Strategy Improvement on Concurrent Stochastic Games Conference talk · September 2026 Highlights of Logic, Games and Automata 2026, Vienna, Austria Slides 2025 Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games Conference talk · September 2025 Highlights of Logic, Games and Automata 2025, Saarbrücken, Germany Slides Paper 2025 Stopping Criteria for Value Iteration for Concurrent Stochastic Reachability and Safety Games Conference talk · 25 June 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2025), Singapore Slides Paper 2025 Stopping Criteria for Value Iteration for Concurrent Stochastic Reachability and Safety Games Workshop talk · Week of 31 March 2025 ROCKS Workshop 2025, Eindhoven, Netherlands Slides Paper