• 8/11/2022: plenary project meeting at IRIF. Details here.

• 10/03/2022: plenary project meeting at IRIF. Details here.

• 12/01/2022: MAVeriQ Seminar. Blaise Genest, Near Optimal Strategies in Stochastic Timed Automata (DSTA).

• 22/11/2021: plenary project meeting at IRIF. Details here.

• 26/03/2021: project kickoff meeting, part 2: scientific talks
  • Eugene Asarin (IRIF): Studying timed languages with transfer operators
  • Loïc Helouet (IRISA): Resilience of timed automata
  • Nicolas Basset (VERIMAG): Thin and thick timed regular languages: 10 years later
  • Benoît Barbot (LACL): Computation of time langage volume: Practice and applications to CPS falsification

• 22/03/2021: project kickoff meeting, part 1: project and work packages presentation and discussions

MAVeriQ is a PRC project selected for funding by the ANR CE25 in the context of AAPG2020.

It started in March 2021 and will last 48 months.

MAVEriQ stands for “Methods of Analysis for Verification of Quantitative properties”. Its goal is to promote unified methods for the quantitative verification of timed, stochastic and/or hybrid systems.

It involves the following partners:

• IRIF (Université de Paris - CNRS)
• INRIA Rennes
• LACL (Université Paris Est Créteil)
• VERIMAG (Université Grenoble Alpes - CNRS)
• LSV (ENS Paris Saclay - CNRS)

• PhD1. Bernardo Jacobo Inclán started his thesis at IRIF in March 2022.
• PhD2. Aymeric Cosme started his thesis at IRISA in September 2022 (thesis half funded by MAVeriQ).
• Pierre Cry was ingénieur d'étude at LACL from November 2021 to August 2022.
• MAVeriQ will fund some part of Madalina Jitaru's thesis at LACL.
• Post-Doc 2 at Verimag is not filled yet.
• Post-Doc 3 at LMF is not filled yet.