Encoding formulas as deep networks: Reinforcement learning for zero-shot execution of LTL formulas.

Yen-Ling Kuo Boris Katz Andrei Barbu

Published in: IROS (2020)

Keyphrases

reinforcement learning
linear time temporal logic
social networks
learning algorithm
multi agent
learning process
temporal logic
optimal control
database systems
model checking
object categories
mathematical formulas