jSSTL - A Tool to Monitor Spatio-Temporal Properties
Laura Nenzi, Luca Bortolussi, Michele Loreti · 2017
Controlling and designing spatio-temporal behaviours requires proper formal tools to describe such properties, and to monitor and verify whether, and how robustly, they are satisfied by a system. In this paper, we introduce jSSTL, a Java tool for the specification of Signal Spatio-Temporal Logic (SS