Safe & robust reachability analysis of hybrid systems.

Eugenio Moggi Amin Farjudian Adam Duracz Walid Taha

Published in: Theor. Comput. Sci. (2018)

Keyphrases

hybrid systems
reachability analysis
intelligent systems
model checking
black box
meta learning
artificial intelligence
computational intelligence
markov decision processes
soft computing
genetic algorithm
discrete event
real time
artificial neural networks
evolutionary algorithm
fuzzy logic