Optimal and Robust Controller Synthesis - Using Energy Timed Automata with Uncertainty.

Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Pierre-Alain Reynier

Browse the full FM paper archive.