Symbolic Monitoring Against Specifications Parametric in Time and Data.

Masaki Waga Étienne André Ichiro Hasuo

Published in: CAV (1) (2019)

Keyphrases

data sets
data collection
training data
missing data
data structure
raw data
high level
high quality
prior knowledge
original data
synthetic data
database
high dimensional data
computer systems
complex data
end users
real time
historical data
sensor data
image data
knowledge discovery