Counterexample-Guided Control.

Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar

Browse the full ICALP paper archive.