Reinforcement Learning for General LTL Objectives Is Intractable.

Cambridge Yang Michael L. Littman Michael Carbin

Published in: CoRR (2021)

Keyphrases

reinforcement learning
special case
computational complexity
closely related
temporal logic
neural network
dynamic programming
model checking