Exposés de la réunion du 14 mai 2024 : 10h20 : Damien Busatto-Gaston : Bi-objective Lexicographic Optimization in Markov Decision Processes with Related Objectives 13h10 : Benoît Barbot : Controller Synthesis in Timed Büchi Automata: Robustness and Punctual Guards 13h55 : Patricia Bouyer-Decître : Beyond Decisiveness: When Statistical Verification Meets Numerical Verification 14h40 : Aymeric Come : A Floyd-Warshall approach to Value computation in Markov Decision Processes: an experimental peek 15h00 : Bernardo Jacobon Inclán : Computing the bandwidth of meager Automata