LTL learning on GPUs.

Mojtaba Valizadeh Nathanaël Fijalkow Martin Berger

Published in: CoRR (2024)

Keyphrases

learning process
prior knowledge
knowledge acquisition
learning systems
learning tasks
learning algorithm
learning problems
hidden markov models
online learning
search algorithm
active learning
empirical studies
first order logic
temporal logic
learning scenarios
learning scheme