Best Paper Award

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

Prize: Conference prizes

Description

The best paper award was awarded for the paper entitled: 'Optimal and Robust Controllers Synthesis using Energy Timed Automata with Uncertainty'.
Awarded date17 Jul 2018
Degree of recognitionInternational

Awarded at event

Event title22nd International Symposium on Formal Methods, FM 2018 Held as Part of the Federated Logic Conference, FloC 2018
LocationOxford, United KingdomShow on map
Period15 Jul 2018 → 17 Jul 2018

    Fingerprint