Abstraction-based Synthesis of Stochastic Hybrid Systems.

Abolfazl Lavaei

Published in: HSCC (2024)

Keyphrases

hybrid systems
discrete event
black box
meta learning
intelligent systems
neural network
computational intelligence
soft computing
artificial intelligence
dynamic systems
machine learning
learning algorithm
simulation model
inductive learning
multi class
search problems