Hosted by the University of Liverpool

Event Date

30th April 2020

Event Time

9:30am – 10:30am

Event Vanue

Zoom meeting

9:30 Michael Fisher: What is Verification and Validation?

9:50 Rafael Cardoso: Integrating Verifiable Agents in ROS

10:10 Fabio Pappachini: Processing and Verification of Information Streams

We uses cookies to ensure you get the best experience on our website.