Best Paper Award

Bacci, Giovanni (Modtager), Larsen, Kim Guldstrand (Modtager), Markey, N. (Modtager), Bouyer, P. (Modtager), Fahrenberg, U. (Modtager) & Reynier, P. (Modtager)

Pris: Konferencepriser

Beskrivelse

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

Tildelingsdato	17 jul. 2018
Grad af anerkendelse	International

Begivenhedstitel	22nd International Symposium on Formal Methods, FM 2018 Held as Part of the Federated Logic Conference, FloC 2018
Sted	Oxford, Storbritannien
Periode	15 jul. 2018 → 17 jul. 2018