The first year of the R5-COP research project has been successfully closed in Brussels on 26th March. From our research group István Majzik presented the results of the work package working on incremental testing and runtime verification. The project has won the ARTEMIS Co-Summit "Exhibition Award" also in this year Read more »
The annual general assembly of the R5-COP - Reconfigurable ROS-based Resilient Reasoning Robotic Cooperating Systems project was held on 21-22 January 2015 in Riga. Our research group's task was to develop new testing and verification methods.