Monitoring hyperproperties.

Bernd Finkbeiner Christopher Hahn Marvin Stenger Leander Tentrup

Published in: Formal Methods Syst. Des. (2019)

Keyphrases

monitoring system
real time
data sets
image processing
situational awareness