ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH@ADHS 2018, Oxford, UK, July 13, 2018

Published in: ARCH@ADHS (2018)

Keyphrases

hybrid systems
artificial intelligence
neural network
machine learning
expert systems
multi class
black box
discrete event
training data
search space
data model
state space
intelligent systems