Verifying Machine Ethics

Activity: Talk or presentationInvited talk

Description

7 Dec 2020

Event (Workshop)

TitleSecond International Workshop on Formal Methods for Autonomous Systems
Abbrev. TitleFMAS 2020
Period7/12/20 → …
Web address (URL)
Location
City
Degree of recognitionInternational event