Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic.

Paolo Felli Marco Montali Sarah Winkler

Published in: AAAI (2022)

Keyphrases

dynamic systems
data sets
database
raw data
data analysis
high quality
data structure
data processing
image data
data quality
data points
data sources
data streams
training data
machine learning
scheduling problem
probability distribution
data collection
synthetic data
spatial data