Crossmark

Efficiently computable temporal robustness for a practical STL fragment

Crossref DOI link: https://doi.org/10.1007/s10009-026-00852-2

Published Online: 2026-03-23

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Rino, Neha

Foughali, Mohammed

Renkin, Florian

Asarin, Eugene
License Information

Text and Data Mining valid from 2026-03-23

Version of Record valid from 2026-03-23
More Information

Article History

Accepted: 27 February 2026

First Online: 23 March 2026