Verifying Machine Ethics

Activity: Talk or presentationInvited talkResearch

Period7 Dec 2020
Event titleSecond International Workshop on Formal Methods for Autonomous Systems
Event typeWorkshop
Degree of RecognitionInternational