Verification of hybrid systems using Kaucher arithmetic.

Stefan Schwab Sören Hohmann

Published in: Autom. (2019)

Keyphrases

hybrid systems
black box
intelligent systems
soft computing
neural network
meta learning
discrete event
computational intelligence
artificial intelligence
learning tasks
test cases
workflow systems
life cycle
evolutionary computation
inductive learning
artificial neural networks
decision trees
decision making