Benchmark: A Nonlinear Reachability Analysis Test Set from Numerical Analysis.
Hoang-Dung TranLuan Viet NguyenTaylor T. JohnsonPublished in: ARCH@CPSWeek (2015)
Keyphrases
- test set
- numerical analysis
- reachability analysis
- finite difference
- model checking
- error rate
- markov decision processes
- image enhancement
- training set
- timed automata
- test data
- evaluation methodology
- training data
- test cases
- incremental algorithms
- state space
- random selection
- feature extraction
- machine learning
- distributed systems
- dynamic programming
- high resolution
- pattern recognition
- image processing