SMT-based verification of data-aware processes: a model-theoretic approach.
Diego CalvaneseSilvio GhilardiAlessandro GianolaMarco MontaliAndrey RivkinPublished in: Math. Struct. Comput. Sci. (2020)
Keyphrases
- experimental data
- probability distribution
- prior knowledge
- data sets
- simulation data
- measured data
- data sources
- data analysis
- statistical methods
- image data
- statistical model
- synthetic data
- missing data
- process model
- database
- expert knowledge
- data quality
- original data
- conceptual model
- test data
- spatial data
- mathematical model
- computational model
- statistical analysis
- input data
- management system
- training data
- end users
- probabilistic model
- regression model
- sensor data
- data processing
- high level
- knowledge discovery
- learning models
- data samples
- information retrieval
- data structure