Login / Signup
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL.
Laura Nenzi
Luca Bortolussi
Vincenzo Ciancia
Michele Loreti
Mieke Massink
Published in:
Log. Methods Comput. Sci. (2018)
Keyphrases
</>
qualitative and quantitative
temporal properties
model checking
low power
qualitative information
quantitative and qualitative
power reduction
real time
temporal reasoning
possibility theory
formal methods
low cost
high speed
power consumption
rough sets
qualitative models