research
∙
09/28/2022
Monitoring ROS2: from Requirements to Autonomous Robots
Runtime verification (RV) has the potential to enable the safe operation...
share
research
∙
12/09/2020
Efficient Bypass in Mesh and Torus NoCs
Minimizing latency and power are key goals in the design of NoC routers....
research
∙
12/03/2020
