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