Neary, C.; Verginis, C.; Cubuktepe, M.; Topcu, U. Verifiable and Compositional Reinforcement Learning Systems. ICAPS 2022, 32, 615-623.