| Period | 19 May 2025 |
|---|---|
| Event type | Workshop |
| Location | Atlanta, United States, GeorgiaShow on map |
| Degree of Recognition | International |
Related content
-
Research output
-
FORCES: An Incremental Transpiler from C/C++ to Rust for Robust and Secure Robotics Systems
Research output: UNPUBLISHED contribution to conference › Paper › peer-review
-
Activities
-
FORCES - FOundations for Reliable, CorrEct and Secure robotic systems
Activity: Talk or presentation › Scientific poster presentation
-
2025 IEEE International Conference on Robotics and Automation, ICRA 2025
Activity: Participating in or organising an event (conference, measurement campaign, ...) › Participating in a conference, workshop, ...
-
Projects
-
FOundations for Reliable, CorrEct, and Secure robotic systems
Project: Research