Environment-Independent Task Specifications via GLTL | Read Paper on Bytez