Design-while-verify: correct-by-construction control learning with verification in the loop.

Yixuan Wang Chao Huang Zhaoran Wang Zhilu Wang Qi Zhu

Published in: DAC (2022)

Keyphrases

active learning
learning algorithm
learning process
unsupervised learning
control rules
adaptive control
prior knowledge
learning experience
knowledge acquisition
supervised learning
sensory motor
inductive inference
autonomous robots
online learning
data sets
control system
training data
case study
machine learning