EvTL: A Temporal Logic for the Transient Analysis of Cyber-Physical Systems

Valentina Castiglioni, Michele Loreti, Simone Tini

Research output: Contribution to journalArticleAcademic

Original languageEnglish
JournalarXiv
DOIs
Publication statusPublished - 2022
Externally publishedYes

Cite this