Unbounded-time reachability analysis of hybrid systems by abstract acceleration.
Peter SchrammelPublished in: EMSOFT (2015)
Keyphrases
- hybrid systems
- reachability analysis
- black box
- intelligent systems
- markov decision processes
- model checking
- neural network
- meta learning
- computational intelligence
- soft computing
- artificial intelligence
- discrete event
- timed automata
- incremental algorithms
- state space
- data mining
- reinforcement learning
- machine learning
- dynamic systems
- learning algorithm
- planning problems
- expert systems