Run Time Assurance for Spacecraft Attitude Control Under Nondeterministic Assumptions | IEEE Journals & Magazine | IEEE Xplore