Environment-Independent Task Specifications via GLTL
Hierarchical Reinforcement Learning with the MAXQ Value Function Decomposition