EfficientQUAntitative VErification


The context of this project is Quantitative Analysis of timed, stochastic and concurrent systems. We focus on :
  • the development of efficient algorithms for the analysis of timed and concurrent systems
  • Efficient techniques for the control of stochastic systems
  • decidability frontiers for timed stochastic games
EQUAVE is a joint project between

EQUAVE is a joint INRIA/CEFIPRA associated team, and was selected in 2018.