- Titel:
Extending Signal Temporal Logic with Quantitative Semantics by Intervals for Robust Monitoring of Cyber-Physical Systems
- Dokumenttyp:
- Zeitschriftenaufsatz
- Autor(en):
- Zhong, Bingzhuo; Jordan, Claudius; Provost, Julien
- Zeitschriftentitel:
- ACM Transactions on Cyber-Physical Systems
- Jahr:
- 2020
- Volltext / DOI:
- doi:10.1145/3377868
- Verlag / Institution:
- Association for Computing Machinery (ACM)
- E-ISSN:
- 2378-962X2378-9638
- Publikationsdatum:
- 07.05.2020
- BibTeX