L. A. Dennis, M. M. Bentzen, F. Lindner, and M. Fisher, “Verifiable Machine Ethics in Changing Contexts”, AAAI, vol. 35, no. 13, pp. 11470-11478, May 2021.