Dennis, L. A., M. M. Bentzen, F. Lindner, and M. Fisher. “Verifiable Machine Ethics in Changing Contexts”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 35, no. 13, May 2021, pp. 11470-8, doi:10.1609/aaai.v35i13.17366.