Original language | English |
---|---|
Journal | arXiv |
DOIs | |
Publication status | Published - 2022 |
Externally published | Yes |
EvTL: A Temporal Logic for the Transient Analysis of Cyber-Physical Systems
Valentina Castiglioni, Michele Loreti, Simone Tini
Research output: Contribution to journal › Article › Academic