Boosting deep Reinforcement Learning using pretraining with Logical Options | ScienceToStartup | ScienceToStartup