Neary, Cyrus, Christos Verginis, Murat Cubuktepe, and Ufuk Topcu. “Verifiable and Compositional Reinforcement Learning Systems”. Proceedings of the International Conference on Automated Planning and Scheduling 32, no. 1 (June 13, 2022): 615-623. Accessed September 12, 2024. https://ojs.aaai.org/index.php/ICAPS/article/view/19849.