Login
- Title:
Extending Signal Temporal Logic with Quantitative Semantics by Intervals for Robust Monitoring of Cyber-Physical Systems
- Document type:
- Zeitschriftenaufsatz
- Author(s):
- Zhong, Bingzhuo; Jordan, Claudius; Provost, Julien
- Journal title:
- ACM Transactions on Cyber-Physical Systems
- Year:
- 2020
- Fulltext / DOI:
- doi:10.1145/3377868
- Publisher:
- Association for Computing Machinery (ACM)
- E-ISSN:
- 2378-962X2378-9638
- Date of publication:
- 07.05.2020
BibTeX