Shukla, Y.; Burman, T.; Kulkarni, A. N.; Wright, R.; Velasquez, A.; Sinapov, J. Logical Specifications-Guided Dynamic Task Sampling for Reinforcement Learning Agents. ICAPS 2024, 34, 532-540.