2 results found Sort:

nasa
ogma nasa
32
374
other
13
Generator of runtime monitors for flight and robotics applications.
rv cfs ros ros2 fprime autonomy robotics assurance space-ros spacecraft flight-software embedded-systems runtime-monitoring runtime-verification robot-operating-system runtime-monitoring-system
Created 2021-08-05
948 commits to develop branch, last one 11 days ago
AndrejOrsula
space_robotics_bench AndrejOrsula
3
26
apache-2.0
2
Benchmark for Space Robotics
space robotics benchmark space-ros simulation robot-learning space-robotics
Created 2024-10-21
118 commits to main branch, last one a day ago