Gray-box Monitoring of Hyperproperties (Extended Version).

Sandro Stucki César Sánchez Gerardo Schneider Borzoo Bonakdarpour

Published in: CoRR (2019)

Keyphrases

real time
monitoring system
artificial intelligence
image segmentation
data sets
three dimensional
digital libraries
preprocessing
multiresolution
color images
decision support system