Road to safe autonomy with data and formal reasoning.
Chuchu FanBolun QiSayan MitraPublished in: CoRR (2017)
Keyphrases
- data sets
- synthetic data
- raw data
- data sources
- data processing
- data quality
- data structure
- sensor data
- image data
- databases
- original data
- high quality
- data collection
- complex data
- data distribution
- input data
- knowledge discovery
- probability distribution
- prior knowledge
- data analysis
- training data
- small number
- high dimensional data
- data points
- missing data
- neural network
- formal model
- database