Logics for hybrid systems.

Jennifer M. Davoren Anil Nerode

Published in: Proc. IEEE (2000)

Keyphrases

inductive learning
hybrid systems
meta learning
intelligent systems
computational intelligence
neural network
black box
discrete event
artificial intelligence
state space
soft computing