LTL Learning on GPUs.

Mojtaba Valizadeh Nathanaël Fijalkow Martin Berger

Published in: CAV (3) (2024)

Keyphrases

learning algorithm
active learning
learning systems
learning tasks
supervised learning
online learning
domain independent
learning scheme
neural network
artificial intelligence
hidden markov models
knowledge acquisition
background knowledge
mobile learning
learning scenarios