Activities per year
- 3 results
Search results
-
Co-verification for robotics: from simulation to verification of hybrid systems
Pedro Fernando De Oliveira Salazar Ribeiro (Speaker)
4 Sept 2023Activity: Talk or presentation › Workshop
-
Co-verification for robotics: simulation and verification by proof
Pedro Fernando De Oliveira Salazar Ribeiro (Invited speaker)
5 Jun 2023Activity: Talk or presentation › Invited talk
-
RoboScience: can using robots add up to a safer world?
Alvaro Miyazawa (Presenter), Pedro Fernando De Oliveira Salazar Ribeiro (Presenter), Simon David Foster (Presenter) & Wei Li (Presenter)
16 May 2018Activity: Other › Public engagement and outreach (general)