Co-verification for robotics: simulation and verification by proof

De Oliveira Salazar Ribeiro, P. F. (Invited speaker)

Electronic Engineering

Activity: Talk or presentation › Invited talk

Period	5 Jun 2023
Held at	Institut de Recherche en Informatique Fondamentale, France

Related content

Projects
RoboTest: Systematic Model-Based Testing and Simulation of Mobile Autonomous Robots
Project: Research project (funded) › Research