|
EfficientQUAntitative VErification |
Presentation
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.
| News |
| February 2020 B. Genest and L. Helouet visit IIT Bombay. |
| December 2019 Joint work on timed negotiations accepted in FOSSACS'2020 [more details] |
| October 2019 S. Akshay Visits the SUMO team (1 week) |
| September 2019 Joint paper accepted at FSTTCS ! |
| August 2019 R. Phawade visits the SUMO team (1 week) |
| September 2019 Joint paper accepted in LMCS ! |
| May-July 2019 2-months visit of K. Madnani in the SUMO team |
| May-July 2019 Intenship of K. Garg in the SUMO team |
| May-July 2019 Intenship of S. Mital in the SUMO team |
| February 2019 B. Genest visits S. Akshay at IIT Bombay |
| January 2019 H. Bazille visits S. Akshay at IIT Bombay |
Main Research Themes:
- Quantitative analysis of timed systems.
- Quantitative analysis for concurrent and timed systems.
- Quantitative analysis for stochastic systems.
|
|