C. Neary, C. Verginis, M. Cubuktepe, and U. Topcu, “Verifiable and Compositional Reinforcement Learning Systems”, ICAPS, vol. 32, no. 1, pp. 615-623, Jun. 2022.