Online Monitoring of Spatio-Temporal Properties for Imprecise Signals.

Ennio Visconti Ezio Bartocci Michele Loreti Laura Nenzi

Published in: CoRR (2021)

Keyphrases

temporal properties
model checking
real time
spatio temporal
online learning
acoustic emission
machine learning
monitoring system
possibility theory
dynamic environments
temporal logic
temporal analysis
cooperative
probabilistic model