Parameterised Verification of Data-aware Multi-Agent Systems.
Francesco BelardinelliPanagiotis KouvarosAlessio LomuscioPublished in: IJCAI (2017)
Keyphrases
- multi agent systems
- statistical analysis
- high quality
- data sets
- experimental data
- database
- data analysis
- data collection
- training data
- data structure
- computer systems
- data processing
- application domains
- input data
- knowledge discovery
- data sources
- original data
- machine learning
- data acquisition
- raw data
- data objects
- spatial data
- high dimensional data
- small number
- image data
- website
- learning algorithm