RoboTest

Systematic Model-Based Testing and Simulation of Mobile Autonomous Robots

ºù«Ӱҵ RoboTest

RoboTest is a five-year EPSRC funded project involving researchers from The University of York and ºù«Ӱҵ.

Events

A blog of past events and activities of the RoboTest project.

Publications

Conference and workshop papers from the project.

Links

Other websites related to the RoboCalc agenda.