Shielded Deep Reinforcement Learning for Complex Spacecraft Tasking

arXiv:2403.05693v1 Announce Type: new
Abstract: Autonomous spacecraft control via Shielded Deep Reinforcement Learning (SDRL) has become a rapidly growing research area. However, the construction of shields and the definition of tasking remains informal, resulting in policies with no guarantees on safety and ambiguous goals for the RL agent. In this paper, we first explore the use of formal languages, namely Linear Temporal Logic (LTL), to formalize spacecraft tasks and safety requirements. We then define a manner in which to construct …

abstract agent arxiv autonomous become construction control cs.lg definition however paper reinforcement reinforcement learning research safety spacecraft type via