Best Paper Award

  • Giovanni Bacci (Modtager), Kim Guldstrand Larsen (Modtager), Nicolas Markey (Modtager), Patricia Bouyer (Modtager), Uli Fahrenberg (Modtager) & Pierre-Alain Reynier (Modtager)

Pris: Priser, stipendier, udnævnelser

Beskrivelse

The best paper award was awarded for the paper entitled: 'Optimal and Robust Controllers Synthesis using Energy Timed Automata with Uncertainty'.
Grad af anerkendelseInternational

Priser, stipendier, udnævnelser

event22nd International Symposium on Formal Methods, FM 2018 Held as Part of the Federated Logic Conference, FloC 2018
locationOxford, Storbritannien
Periode15 jul. 2018 → 17 jul. 2018

Fingeraftryk

Controllers
Uncertainty