Polytopic Trees for Verification of Learning-Based Controllers.

Sadra Sadraddini Shen Shen Osbert Bastani

Published in: NSV@CAV (2019)

Keyphrases

reinforcement learning
learning process
prior knowledge
online learning
learning algorithm
unsupervised learning
learning systems
inductive inference
supervised learning
real time
information systems
multi agent
active learning
learning scenarios
learning analytics