Automated Verification of Switched Systems Using Hybrid Identification.

Stefan Schwab Bernd Holzmüller Sören Hohmann

Published in: CyPhy (2016)

Keyphrases

automated verification
model checking
distributed systems
computer vision
expert systems
knowledge based systems
neural network
information systems
knowledge base
multimedia
mobile robot
probability distribution
management system
computer systems
learning systems
formal verification