C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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