|
|
|
| e-Pub |
Previous | 
Home
Section: Highlights of the Year
Highlights of the Year
-
The ANR project TickTac led by Ocan Sankur was accepted and starts in March 2019.
-
New partnership with Mitsubishi Electric (MERCE): one PhD thesis started in Fall 2018, and a member of MERCE will be hosted by SUMO in 2019.
Awards
Best Paper Award:
[11]Optimal and Robust Controller Synthesis: Using Energy Timed Automata with Uncertainty, in: FM 2018 - International Symposium on Formal Methods, Oxford, United Kingdom, LNCS, Springer, July 2018, vol. 10951, pp. 203-221. [ DOI : 10.1007/978-3-319-95582-7_12 ]
https://hal.archives-ouvertes.fr/hal-01889222