Reachability Analysis and Hybrid Systems Biology - In Memoriam Oded Maler.
Thao DangPublished in: HSB (2019)
Keyphrases
- hybrid systems
- reachability analysis
- model checking
- markov decision processes
- black box
- intelligent systems
- meta learning
- neural network
- timed automata
- soft computing
- computational intelligence
- incremental algorithms
- artificial intelligence
- discrete event
- state space
- mathematical model
- model selection
- dynamic programming
- machine learning
- dynamic systems
- knowledge acquisition
- multi class
- data mining