Finite-trace and generalized-reactivity specifications in temporal synthesis
Crossref DOI link: https://doi.org/10.1007/s10703-023-00413-2
Published Online: 2023-03-15
Published Print: 2022-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
De Giacomo, Giuseppe
Di Stasio, Antonio http://orcid.org/0000-0001-5475-2978
Tabajara, Lucas M.
Vardi, Moshe Y.
Zhu, Shufang
Text and Data Mining valid from 2022-12-01
Version of Record valid from 2023-03-15
Article History
Received: 2 April 2022
Accepted: 25 January 2023
First Online: 15 March 2023