Synthesis of Robust Optimal Real-Time Systems.

Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier

Browse the full MFCS paper archive.