SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration.
Jan MrázekPetr BauchHenrich LaukoJiri BarnatPublished in: SPIN (2016)
Keyphrases
- data sets
- synthetic data
- high quality
- data analysis
- data processing
- data collection
- image data
- data quality
- database
- raw data
- experimental data
- spatial data
- sensor data
- state space
- knowledge discovery
- data sources
- control system
- training data
- input data
- computer systems
- missing data
- evolutionary algorithm
- data acquisition
- database systems
- learning algorithm