Skill Machines: Temporal Logic Skill Composition in Reinforcement Learning - Nangue Tasse, Geraud; Jarvis, Devon; James, Steven; Rosman, Benjamin (International Conference on Learning Representations, 2024)