Online monitoring of spatio-temporal properties for imprecise signals.

Ennio Visconti Ezio Bartocci Michele Loreti Laura Nenzi

Published in: MEMOCODE (2021)

Keyphrases

temporal properties
model checking
real time
online learning
possibility theory
signal processing
spatio temporal
formal methods
monitoring system
cooperative
temporal logic
acoustic emission
control system
data mining
general purpose