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