Abstraction Refinement for Emptiness Checking of Alternating Data Automata.

Radu Iosif Xiao Xu

Published in: TACAS (2) (2018)

Keyphrases

data sets
data collection
data analysis
training data
raw data
database
data objects
neural network
data structure
synthetic data
markov chain
noisy data
data acquisition
data processing
databases
computer systems
missing data
sensor data
small number
network structure
data sources
feature space
data quality