Safety Synthesis Sans Specification. - Bloem, Roderick; Chockler, Hana; Ebrahimi, Masoud; Fisman, Dana; Riener, Heinz (CoRR, 2020)