Run Time Assurance for Spacecraft Attitude Control Under Nondeterministic Assumptions.
Matthew AbateMark MoteMehregan DorCorbin KlettSean PhillipsKendra LangPanagiotis TsiotrasEric FeronSamuel CooganPublished in: IEEE Trans. Control. Syst. Technol. (2024)