Policy Optimization with Linear Temporal Logic Constraints - Voloshin, Cameron; Le, Hoang; Chaudhuri, Swarat; Yue, Yisong (Advances in Neural Information Processing Systems, 2022)