On the (In)Tractability of Reinforcement Learning for LTL Objectives

Re-assign community