Thomas Brihaye
Original record- Institution
- Université de Mons-Hainaut
- Year
- 2006
- Country
- Belgium
- MGP identifier
- 116653
Dissertation: Verification and Control of O-Minimal Hybrid Systems and Weighted Timed Automata
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisors 2
- Christian MichauxUniversité de Mons-Hainaut · 1991
- Véronique BruyèreUniversité Paris Diderot - Paris 7 · 1989
Students 7
| Name | Institution | Year | Students |
|---|---|---|---|
| Aaron Bohy | Université de Mons | 2014 | 0 |
| Pierre Carlier | Université de Mons and Université Paris-Saclay | 2017 | 0 |
| Julie De Pril | Université de Mons-Hainaut | 2013 | 0 |
| Marc Ducobu | Université de Mons | 2013 | 0 |
| Morgane Estiévenart | Université de Mons | 2015 | 0 |
| Aline Goeminne | Université Libre de Bruxelles and Université de Mons | 2021 | 0 |
| Marion Hallet | Université Libre de Bruxelles and Université de Mons | 2020 | 0 |