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

Yen-Ling Kuo Boris Katz Andrei Barbu

Published in: CoRR (2020)

Keyphrases

reinforcement learning
linear time temporal logic
social networks
mathematical formulas
social network analysis
model checking
computer networks
learning algorithm
action selection