ProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems.

Fedor Shmarov Paolo Zuliani

Published in: SNR@CAV (2015)

Keyphrases

hybrid systems
reachability analysis
discrete event
markov decision processes
model checking
black box
intelligent systems
meta learning
neural network
computational intelligence
artificial intelligence
soft computing
simulation model
genetic algorithm
orders of magnitude
rough sets
dynamic programming