ProbReach: Verified Probabilistic Delta-Reachability for Stochastic Hybrid Systems.

Fedor Shmarov Paolo Zuliani

Published in: CoRR (2014)

Keyphrases

hybrid systems
discrete event
neural network
intelligent systems
meta learning
black box
computational intelligence
soft computing
artificial intelligence
state space
simulation model
dynamic systems
search algorithm
orders of magnitude
workflow systems