Verifying information flow properties of hybrid systems.

Pavithra Prabhakar Boris Köpf

Published in: HiCoNS (2013)

Keyphrases

information flow
hybrid systems
black box
information flows
neural network
intelligent systems
soft computing
computational intelligence
artificial intelligence
meta learning
discrete event
communication networks
social networks
evolutionary algorithm
supply chain
model checking
expert systems
databases