Monitoring Hyperproperties.

Bernd Finkbeiner Christopher Hahn Marvin Stenger Leander Tentrup

Published in: RV (2017)

Keyphrases

real time
monitoring system
wide range
search algorithm
decision support
database
neural network
data mining
knowledge base
mobile devices