Extended bounded response LTL: a new safety fragment for efficient reactive synthesis
Crossref DOI link: https://doi.org/10.1007/s10703-021-00383-3
Published Online: 2021-11-04
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Cimatti, Alessandro
Geatti, Luca http://orcid.org/0000-0002-7125-787X
Gigante, Nicola
Montanari, Angelo
Tonetta, Stefano
Text and Data Mining valid from 2021-11-04
Version of Record valid from 2021-11-04
Article History
Received: 5 March 2021
Accepted: 7 September 2021
First Online: 4 November 2021