Formal Verification of Intelligent Hybrid Systems that are Modeled with Simulink and the Reinforcement Learning Toolbox.
Julius AdeltTimm LiebrenzPaula HerberPublished in: FM (2021)
Keyphrases
- formal verification
- hybrid systems
- intelligent systems
- reinforcement learning
- neural networks and genetic algorithms
- model checking
- black box
- computational intelligence
- soft computing
- model checker
- neural network
- artificial intelligence
- discrete event
- meta learning
- symbolic model checking
- state space
- control system
- learning algorithm
- learning process
- machine learning
- evolutionary computation
- workflow systems
- decision making
- dynamic programming