Robust Controller Synthesis for Duration Calculus.

Kalyani Dole, Ashutosh Gupta, Shankara Narayanan Krishna

Browse the full ATVA paper archive.