The Safety Fragment of Temporal Logics on Infinite Sequences
https://di4a.uniud.it/supe/uniud/en/education/previous-years-courses/2023-24-courses/disciplinary-courses-scientific-and-economic-class/the-safety-fragment-of-temporal-logics-on-infinite-sequences
https://di4a.uniud.it/supe/uniud/@@site-logo/DTW-logo.svg
The Safety Fragment of Temporal Logics on Infinite Sequences