Kazemi, M.; Perez, M.; Somenzi, F.; Soudjani, S.; Trivedi, A.; Velasquez, A. Assume-Guarantee Reinforcement Learning. AAAI 2024, 38, 21223-21231.