SupplementaryMaterial: ABooleanTaskAlgebraForReinforcementLearning