Formal Verification of Intelligent Hybrid Systems that are modeled with Simulink and the Reinforcement Learning Toolbox.
Julius AdeltTimm LiebrenzPaula HerberPublished in: Software Engineering (2023)
Keyphrases
- hybrid systems
- formal verification
- intelligent systems
- reinforcement learning
- neural networks and genetic algorithms
- model checking
- black box
- soft computing
- meta learning
- computational intelligence
- discrete event
- model checker
- neural network
- artificial intelligence
- control system
- symbolic model checking
- machine learning
- expert systems
- state space
- learning process
- learning algorithm
- dynamic systems
- model selection
- learning tasks
- fuzzy logic
- transfer learning
- training data
- dynamic programming
- feature selection