Towards aggregate monitoring of spatio-temporal properties.

Giorgio Audrito Gianluca Torta

Published in: VORTEX@ISSTA (2021)

Keyphrases

temporal properties
model checking
spatio temporal
possibility theory
real time
monitoring system
formal methods
temporal analysis
temporal filtering
temporal logic
neural network
data mining
machine learning
decision making
probabilistic model
knowledge discovery