Boosting deep Reinforcement Learning using pretraining with Logical Options. - Zihan Ye; Phil Chau; Raban Emunds; Jannis Blüml; Cedric Derstroff; Quentin Delfosse; Oleg Arenz; Kristian Kersting (CoRR, 2026)