EN FR
EN FR


previous Previous | up Home | Next next


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]
G. Bacci, P. Bouyer, U. Fahrenberg, K. G. Larsen, N. Markey, P.-A. Reynier.

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




previous Previous | up Home | Next next