Roderick Bloem, Hana Chockler, Masoud Ebrahimi 0002, Ofer Strichman. Synthesizing Reactive Systems Using Robustness and Recovery Specifications. In Clark W. Barrett, Jin Yang, editors, 2019 Formal Methods in Computer Aided Design, FMCAD 2019, San Jose, CA, USA, October 22-25, 2019. pages 147-151, IEEE, 2019. [doi]
Abstract is missing.