Skip to main navigation
Skip to search
Skip to main content
York Research Database Home
Help & FAQ
Home
Researchers
Departments and Units
Publications
Projects
Activities
Datasets
Prizes
Search by expertise, name or affiliation
Co-verification for robotics: from simulation to verification of hybrid systems
De Oliveira Salazar Ribeiro, P. F.
(Speaker)
Electronic Engineering
Activity
:
Talk or presentation
›
Workshop
Period
4 Sept 2023
Event title
Robotics and Software Engineering 2023
Event type
Workshop
Location
London, United Kingdom
Show on map
Related content
Projects
RoboTest: Systematic Model-Based Testing and Simulation of Mobile Autonomous Robots
Project
:
Research project (funded)
›
Research
X