Teaching Multiple Tasks to an RL Agent using LTL
Environment-Independent Task Specifications via GLTL