Generator of runtime monitors for flight and robotics applications.
-
Updated
Sep 2, 2026 - Haskell
Generator of runtime monitors for flight and robotics applications.
Robot Learning Beyond Earth
Autonomous robot for lunar navigation and object interaction, developed during TESP '25 at the Space Robotics Lab (Tohoku University). Features custom robot design, Dijkstra-based path planning, object detection with vision, and gripper control.
Communicating with cFS applications written in Rust, and rovers whose cores we developed using SPA communicating with cFS applications written in Rust, and rovers whose cores we developed using SPACE ROS.
To associate your repository with the space-ros topic, visit your repo's landing page and select "manage topics."