Safe intersections: At the crossing of hybrid systems and verification.

Sarah M. Loos André Platzer

Published in: ITSC (2011)

Keyphrases

hybrid systems
intelligent systems
black box
meta learning
neural network
soft computing
discrete event
computational intelligence
artificial intelligence
dynamic systems
knowledge acquisition
supervised learning