Roderick Bloem, Hana Chockler, Masoud Ebrahimi 0002, Ofer Strichman. Specifiable robustness in reactive synthesis. Formal Methods in System Design, 60(2):259-276, April 2022. [doi]
@article{BloemCES22,
title = {Specifiable robustness in reactive synthesis},
author = {Roderick Bloem and Hana Chockler and Masoud Ebrahimi 0002 and Ofer Strichman},
year = {2022},
month = {April},
doi = {10.1007/s10703-023-00418-x},
url = {https://doi.org/10.1007/s10703-023-00418-x},
researchr = {https://researchr.org/publication/BloemCES22},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {60},
number = {2},
pages = {259-276},
}