Constraint-Based Monitoring of Hyperproperties.

Christopher Hahn Marvin Stenger Leander Tentrup

Published in: CoRR (2019)

Keyphrases

monitoring system
real time
early warning
data sets
computer vision
lower bound
user interface
data acquisition
condition monitoring
continuous monitoring