The Logical Options Framework. - Brandon Araki; Xiao Li 025; Kiran Vodrahalli; Jonathan A. DeCastro; Micah J. Fry; Daniela Rus (ICML, 2021)