RT @FormalMtds: FM2018 Best Paper Award goes to Giovanni Bacci, @kglaau , Nicolas Markey, @BoyerPatricia , Uli Fahrenberg and Pierre-Alain…
203 followers
1,989 followers
RT @FormalMtds: FM2018 Best Paper Award goes to Giovanni Bacci, @kglaau , Nicolas Markey, @BoyerPatricia , Uli Fahrenberg and Pierre-Alain…
552 followers
RT @FormalMtds: FM2018 Best Paper Award goes to Giovanni Bacci, @kglaau , Nicolas Markey, @BoyerPatricia , Uli Fahrenberg and Pierre-Alain…
689 followers
FM2018 Best Paper Award goes to Giovanni Bacci, @kglaau , Nicolas Markey, @BoyerPatricia , Uli Fahrenberg and Pierre-Alain Reynier Optimal and Robust Controller Synthesis Using Energy Timed Automata with Uncertainty https://t.co/5TOkLoY6Eq