Finkbeiner, B.; Metzger, N.; Nayak, S. P.; Schmuck, A.-K. Universal Safety Controllers With Learned Prophecies. AAAI 2026, 40, 36217-36226.