Dennis, L. A.; Bentzen, M. M.; Lindner, F.; Fisher, M. Verifiable Machine Ethics in Changing Contexts. AAAI 2021, 35, 11470-11478.