BACH 2 : Bounded reachability checker for compositional linear hybrid systems.

Lei Bu You Li Linzhang Wang Xin Chen Xuandong Li

Published in: DATE (2010)

Keyphrases

hybrid systems
black box
neural network
meta learning
discrete event
soft computing
intelligent systems
computational intelligence
artificial intelligence
state space
search algorithm
learning tasks
simulation model