School of Computer Science and Applied Mathematics, University of the Witwatersrand, Johannesburg, South Africa
Geraud Nangue Tasse, Devon Jarvis, Steven James, Benjamin Rosman
Reinforcement Learning;Multi task;Temporal logic;LTL;Composition;Zero-shot;Transfer learning
Skill Machines: Temporal Logic Skill Composition in Reinforcement Learning