Verifying Autonomous Systems

Activity: Talk or presentationInvited talkResearch

Period7 Jun 2022
Event title17th International Conference on Integrated Formal Methods
Event typeConference
LocationLugano, SwitzerlandShow on map
Degree of RecognitionInternational