Type-Based Verification of Delegated Control in Hybrid~Systems (Full Version).

Eduard Kamburjan Michael Lienhardt

Published in: CoRR (2023)

Keyphrases

hybrid systems
discrete event
meta learning
black box
computational intelligence
neural network
control system
intelligent systems
soft computing
artificial intelligence
simulation model
feature selection
knowledge acquisition
dynamic systems