C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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