Verified Runtime Validation for Partially Observable Hybrid Systems.
Stefan MitschAndré PlatzerPublished in: CoRR (2018)
Keyphrases
- hybrid systems
- partially observable
- dynamical systems
- decision problems
- markov decision processes
- state space
- intelligent systems
- discrete event
- black box
- reinforcement learning
- meta learning
- soft computing
- computational intelligence
- infinite horizon
- partial observations
- neural network
- belief state
- artificial intelligence
- orders of magnitude
- dynamic systems
- simulation model
- reward function
- utility function
- search space
- knowledge base
- feature selection
- machine learning
- data mining