Deep RL for free-floating space robot control with formal safety verification. Benchmarks 6 algorithms; PPO achieves best tracking accuracy and base stability minimization.
reinforcement-learning deep-reinforcement-learning robot-control formal-verification trajectory-tracking safety-critical matlab-simulink ppo space-robotics free-floating-robot on-orbit-servicing
-
Updated
Apr 20, 2026 - MATLAB