Synthesizing Reactive Systems Using Robustness and Recovery Specifications.

Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Ofer Strichman

Browse the full FMCAD paper archive.