TY - RPRT TI - Comparing Run Time Assurance Approaches for Safe Spacecraft Docking AU - Kyle Dunlap AU - Michael Hibbard AU - Mark Mote AU - Kerianne Hobbs PY - 2021 DO - 10.1109/lcsys.2021.3135260 UR - https://arxiv.org/abs/2110.00447 ID - 2110.00447 ER -