Raynaldio Limarga Yang Song 0001 Abhaya Nayak David Rajaratnam Maurice Pagnucco Formalisation and Evaluation of Properties for Consequentialist Machine Ethics. 440-448 2024 IJCAI https://www.ijcai.org/proceedings/2024/49 conf/ijcai/2024 db/conf/ijcai/ijcai2024.html#Limarga0NRP24