Xingwen Chen, Jianbin Qiu, Tong Wang 0003, Min Li. Onboard Mission Planning for Autonomous Avoidance of Spacecraft Subject to Various Orbital Threats: An SMT-Based Approach. IEEE Trans. Aerospace and Electronic Systems, 61(2):4866-4878, April 2025. [doi]
Abstract is missing.