Exploring Model Quality for ACAS X.
Dimitra GiannakopoulouDennis GuckJohann SchumannPublished in: FM (2016)
Keyphrases
- computational model
- experimental data
- high quality
- theoretical analysis
- computer vision
- sensitivity analysis
- statistical model
- probabilistic model
- hidden markov models
- high level
- management system
- control system
- artificial neural networks
- theoretical framework
- process model
- mathematical model
- clustering algorithm
- closed form
- artificial intelligence
- formal model
- hybrid model
- autoregressive
- evaluation model