Learning Finite Linear Temporal Logic Specifications with a Specialized Neural Operator.

Homer Walke Daniel Ritter Carl Trimbach Michael L. Littman

Published in: CoRR (2021)

Keyphrases

learning algorithm
linear temporal logic
learning process
high level
knowledge base
reinforcement learning
neural network
programming language
learning rules