A Robust Genetic Algorithm for Learning Temporal Specifications from Data.
Laura NenziSimone SilvettiEzio BartocciLuca BortolussiPublished in: QEST (2018)
Keyphrases
- genetic algorithm
- data sets
- data processing
- temporal data
- database
- data points
- missing data
- data sources
- prior knowledge
- reinforcement learning
- spatio temporal
- data analysis
- training data
- image data
- supervised learning
- learning algorithm
- neural network
- experimental data
- synthetic data
- learning systems
- raw data
- spatial and temporal
- input data
- background knowledge
- statistical analysis
- data collection
- sensor data
- temporal information
- artificial neural networks
- temporal constraints
- social networks
- bayesian methods
- temporal dimension