Automated Verification and Synthesis of Stochastic Hybrid Systems: A Survey.
Abolfazl LavaeiSadegh SoudjaniAlessandro AbateMajid ZamaniPublished in: CoRR (2021)
Keyphrases
- hybrid systems
- automated verification
- discrete event
- model checking
- automated reasoning
- black box
- formal verification
- neural network
- intelligent systems
- computational intelligence
- soft computing
- artificial intelligence
- meta learning
- dynamic systems
- simulation model
- graph theory
- inductive learning
- multi class
- knowledge representation