A Benchmark Suite for Hybrid Systems Reachability Analysis.
Xin ChenStefan SchuppIbtissem Ben MakhloufErika ÁbrahámGoran FrehseStefan KowalewskiPublished in: NFM (2015)
Keyphrases
- hybrid systems
- reachability analysis
- benchmark suite
- markov decision processes
- model checking
- intelligent systems
- black box
- meta learning
- neural network
- discrete event
- timed automata
- incremental algorithms
- soft computing
- computational intelligence
- artificial intelligence
- state space
- inductive learning
- simulation model
- learning tasks
- model selection
- video sequences