Higher-Order Approximations for Verification of Stochastic Hybrid Systems.

Sadegh Esmaeil Zadeh Soudjani Alessandro Abate

Published in: ATVA (2012)

Keyphrases

hybrid systems
higher order
discrete event
black box
intelligent systems
neural network
soft computing
artificial intelligence
meta learning
computational intelligence
pairwise
markov random field
simulation model
dynamic systems
genetic programming
inductive learning