M. Kazemi, M. Perez, F. Somenzi, S. Soudjani, A. Trivedi, and A. Velasquez, “Assume-Guarantee Reinforcement Learning”, AAAI, vol. 38, no. 19, pp. 21223-21231, Mar. 2024.