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