Formalizing Motion Plan Legibility Using Empirical Manual Takeover Data in Autonomous Spacecraft Docking | IEEE Journals & Magazine | IEEE Xplore