Research Themes
Our main research interests include:
- Verification of timed and hybrid systems
- Control of timed and hybrid systems
- Game theory and its application to verification CASSTING project
- Conception of efficient algorithms for verification (based on antichains).
- Application of game theory to microfinance MIGA project