Decidable Verification of Agent-Based Data-Aware Systems.
Francesco BelardinelliVadim MalvonePublished in: PRIMA (2019)
Keyphrases
- data sets
- data analysis
- prior knowledge
- data collection
- data mining techniques
- raw data
- experimental data
- synthetic data
- computer systems
- data points
- high quality
- training data
- knowledge discovery
- data processing
- data sources
- statistical methods
- small number
- database
- data structure
- complex systems
- first order logic
- data distribution
- metadata
- original data
- complex data