Gray-Box Monitoring of Hyperproperties.

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

Published in: FM (2019)

Keyphrases

monitoring system
real time
information systems
preprocessing
condition monitoring
genetic algorithm
data structure
multiresolution
special case
digital images
intensive care
minimum bounding