Automated verification and synthesis of stochastic hybrid systems: A survey.

Abolfazl Lavaei Sadegh Soudjani Alessandro Abate Majid Zamani

Published in: Autom. (2022)

Keyphrases

hybrid systems
automated verification
discrete event
model checking
automated reasoning
black box
intelligent systems
formal verification
soft computing
neural network
computational intelligence
meta learning
artificial intelligence
dynamic systems
simulation model
graph theory
machine learning