Crossmark

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

Authors

De Giacomo, Giuseppe

Di Stasio, Antonio https://orcid.org/0000-0001-5475-2978
Tabajara, Lucas M.

Vardi, Moshe Y.

Zhu, Shufang
License Information

Text and Data Mining valid from 2022-12-01

Version of Record valid from 2023-03-15
More Information

Article History

Received: 2 April 2022

Accepted: 25 January 2023

First Online: 15 March 2023