Login / Signup
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties.
Laura Nenzi
Luca Bortolussi
Vincenzo Ciancia
Michele Loreti
Mieke Massink
Published in:
RV (2015)
Keyphrases
</>
qualitative and quantitative
temporal properties
model checking
quantitative and qualitative
spatio temporal
monitoring system
formal methods
physical systems
temporal reasoning
possibility theory
qualitative information
temporal logic
temporal analysis
qualitative models
scientific knowledge
machine learning