Picture for Nuno Macedo

Nuno Macedo

INESC TEC & University of Porto

The High-Assurance ROS Framework

Add code
Mar 02, 2021
Figure 1 for The High-Assurance ROS Framework
Figure 2 for The High-Assurance ROS Framework
Figure 3 for The High-Assurance ROS Framework
Viaarxiv icon

ROSY: An elegant language to teach the pure reactive nature of robot programming

Add code
Nov 08, 2019
Figure 1 for ROSY: An elegant language to teach the pure reactive nature of robot programming
Figure 2 for ROSY: An elegant language to teach the pure reactive nature of robot programming
Figure 3 for ROSY: An elegant language to teach the pure reactive nature of robot programming
Figure 4 for ROSY: An elegant language to teach the pure reactive nature of robot programming
Viaarxiv icon