Monitoring Hyperproperties.

Bernd Finkbeiner Christopher Hahn Marvin Stenger Leander Tentrup

Published in: CoRR (2018)

Keyphrases

monitoring system
real time
databases
web services
high level
real world
computer vision
e learning
multimedia
reinforcement learning
relational databases