Login / Signup
jSSTL - A Tool to Monitor Spatio-Temporal Properties.
Laura Nenzi
Luca Bortolussi
Michele Loreti
Published in:
VALUETOOLS (2016)
Keyphrases
</>
temporal properties
model checking
spatio temporal
real time
possibility theory
monitoring system
natural language
high level
random walk
temporal logic
formal methods