• 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

About MAVeriQ

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 will take this position starting 2022, February 1st.