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

Research output: Contribution to journal › Article › Academic

Access to Document

@article{eacab626326b46ed9d901928f134a3c1,

title = "EvTL: A Temporal Logic for the Transient Analysis of Cyber-Physical Systems",

author = "Valentina Castiglioni and Michele Loreti and Simone Tini",

year = "2022",

doi = "10.48550/arXiv.2204.13357",

language = "English",

journal = "arXiv",

issn = "2331-8422",

publisher = "Cornell University Library",

}