Co-verification talk at IRIF and Laboratoire de Méthodes Formelles

On the 5th and 6th June 2023, Pedro Ribeiro will be delivering invited talks at the Research Institute on the Foundations of Computer Science (IRIF), Paris Cité Universite, and the Laboratoire de Méthodes Formelles - Paris Saclay, on “Co-verification for robotics”.