B. Finkbeiner, N. Metzger, S. P. Nayak, and A.-K. Schmuck, “Universal Safety Controllers with Learned Prophecies”, AAAI, vol. 40, no. 43, pp. 36217–36226, Mar. 2026.