Login / Signup
Integrating Explanations in Learning LTL Specifications from Demonstrations.
Ashutosh Gupta
John Komp
Abhay Singh Rajput
Shankaranarayanan Krishna
Ashutosh Trivedi
Namrita Varshney
Published in:
CoRR (2024)
Keyphrases
</>
online learning
learning tasks
active learning
learning process
bounded model checking
learning systems
high level
learning algorithm
machine learning
prior knowledge
training set
background knowledge
learning problems
temporal logic
learning scenarios
learning scheme
neural network