Specifiable robustness in reactive synthesis
Crossref DOI link: https://doi.org/10.1007/s10703-023-00418-x
Published Online: 2023-03-23
Published Print: 2022-04
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Bloem, Roderick
Chockler, Hana http://orcid.org/0000-0003-1219-0713
Ebrahimi, Masoud
Strichman, Ofer
Text and Data Mining valid from 2022-04-01
Version of Record valid from 2023-03-23
Article History
Received: 25 September 2021
Accepted: 13 February 2023
First Online: 23 March 2023