SReach: Combining Statistical Tests and Bounded Model Checking for Nonlinear Hybrid Systems with Parametric Uncertainty.
Qinsi WangPaolo ZulianiSoonho KongSicun GaoEdmund M. ClarkePublished in: CoRR (2014)
Keyphrases
- statistical tests
- hybrid systems
- bounded model checking
- model checking
- black box
- statistically significant
- formal verification
- sample size
- intelligent systems
- discrete event
- meta learning
- neural network
- statistical analysis
- soft computing
- artificial intelligence
- computational intelligence
- temporal logic
- statistical methods
- multi agent systems
- model selection
- linear temporal logic
- fuzzy sets
- artificial neural networks
- dynamic systems
- dynamic programming
- feature selection
- rough sets