The Complexity of Learning Linear Temporal Formulas from Examples.

Nathanaël Fijalkow Guillaume Lagarde

Published in: CoRR (2021)

Keyphrases

learning algorithm
learning process
reinforcement learning
supervised learning
unsupervised learning
learning systems
learning tasks
learning scheme
spatio temporal
active learning
upper bound
learning scenarios
inductive inference
read once formulas