dReach: δ-Reachability Analysis for Hybrid Systems.
Soonho KongSicun GaoWei ChenEdmund M. ClarkePublished in: TACAS (2015)
Keyphrases
- hybrid systems
- reachability analysis
- model checking
- markov decision processes
- black box
- intelligent systems
- soft computing
- discrete event
- neural network
- meta learning
- timed automata
- computational intelligence
- incremental algorithms
- artificial intelligence
- state space
- dynamic systems
- data mining
- decision trees
- inductive learning
- complex systems
- model selection
- dynamic programming
- artificial neural networks