Skip to main navigation
Skip to search
Skip to main content
Research Explorer The University of Manchester Home
Search content at Research Explorer The University of Manchester
Home
Profiles
Research units
Research output
Projects
Impacts
Activities
Press/Media
Prizes
Equipment
Datasets
Student theses
Verifying Machine Ethics
Dennis, L.
(Speaker)
Formal Methods
Activity
:
Talk or presentation
›
Invited talk
›
Research
Period
7 Dec 2020
Event title
Second International Workshop on Formal Methods for Autonomous Systems
Event type
Workshop
Degree of Recognition
International
X