Reinforcement Learning with LTL and \ omega-Regular Objectives via Optimality-Preserving Translation to Average Rewards - Le, Xuan-Bach; Wagner, Dominik; Witzman, Leon; Rabinovich, Alexander; Ong, Luke (Advances in Neural Information Processing Systems, 2024)