DisTL: A Temporal Logic for the Analysis of the Expected Behaviour of Cyber-Physical Systems.

Valentina Castiglioni Michele Loreti Simone Tini

Published in: ICTCS (2023)

Keyphrases

temporal logic
model checking
data processing
modal logic
data analysis
computer systems
cloud computing