Valentina Castiglioni, Michele Loreti, Simone Tini. DisTL: A Temporal Logic for the Analysis of the Expected Behaviour of Cyber-Physical Systems. In Giuseppa Castiglione, Marinella Sciortino, editors, Proceedings of the 24th Italian Conference on Theoretical Computer Science, Palermo, Italy, September 13-15, 2023. Volume 3587 of CEUR Workshop Proceedings, pages 15-30, CEUR-WS.org, 2023. [doi]
@inproceedings{CastiglioniLT23-1,
title = {DisTL: A Temporal Logic for the Analysis of the Expected Behaviour of Cyber-Physical Systems},
author = {Valentina Castiglioni and Michele Loreti and Simone Tini},
year = {2023},
url = {https://ceur-ws.org/Vol-3587/4168.pdf},
researchr = {https://researchr.org/publication/CastiglioniLT23-1},
cites = {0},
citedby = {0},
pages = {15-30},
booktitle = {Proceedings of the 24th Italian Conference on Theoretical Computer Science, Palermo, Italy, September 13-15, 2023},
editor = {Giuseppa Castiglione and Marinella Sciortino},
volume = {3587},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}