Reachability games for linear hybrid systems.

Massimo Benerecetti Marco Faella Stefano Minopoli

Published in: HSCC (2012)

Keyphrases

hybrid systems
black box
neural network
intelligent systems
meta learning
soft computing
artificial intelligence
computational intelligence
discrete event
learning algorithm
state space
artificial neural networks
rough sets