Formally Verified Run Time Assurance Architecture of a 6U CubeSat Attitude Control System
2021 ◽
Vol 19
(1)
◽
pp. 9-16
1995 ◽
Vol 18
(2)
◽
pp. 247-255
◽
1983 ◽
Vol 16
(11)
◽
pp. 575-582
◽