Context-Dependent Reachability Analysis for Hybrid Systems.
Stefan SchuppJustin WinkensErika ÁbrahámPublished in: IRI (2018)
Keyphrases
- context dependent
- hybrid systems
- reachability analysis
- model checking
- markov decision processes
- meta learning
- black box
- discrete event
- timed automata
- intelligent systems
- neural network
- computational intelligence
- soft computing
- low level
- state space
- incremental algorithms
- natural language
- artificial intelligence
- dynamic systems
- machine learning
- reinforcement learning
- high level
- spatial information
- fuzzy sets
- relational databases
- training set