Login / Signup
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