Towards a Science of Specifying AI Behavior, Dylan Hadfield-Menell, Smitha Milli, Pieter Abbeel, Stuart Russell, Anca Dragan, 2017Proceedings of the 31st Conference on Neural Information Processing Systems (NIPS) (NeurIPS)DOI: 10.5555/3295222.3295287 - Discusses the challenge of translating human values and goals into formal, machine-understandable specifications for AI systems, relevant to structuring constitutional principles.