Safe & Robust Reachability Analysis of Hybrid Systems.

Eugenio Moggi Amin Farjudian Adam Duracz Walid Taha

Published in: CoRR (2017)

Keyphrases

hybrid systems
reachability analysis
intelligent systems
black box
neural network
computational intelligence
model checking
discrete event
data mining
knowledge base
markov decision processes
soft computing
meta learning
artificial intelligence
feature selection
multi class