On Synthesizing Controllers from Bounded-Response Properties.

Oded Maler, Dejan Nickovic, Amir Pnueli

Browse the full CAV paper archive.