Run Time Assured Reinforcement Learning for Safe Satellite Docking. - Kyle Dunlap; Mark Mote; Kaiden Delsing; Kerianne L. Hobbs (J. Aerosp. Inf. Syst., 2023)