Sağlam, I.; Nazeri, M.; Abate, A.; Soudjani, S.; Schmuck, A.-K. Incremental Data-Driven Policy Synthesis via Game Abstractions. AAAI 2026, 40, 36360-36368.