Research on Algorithm Design and Code Automatic Generation for Satellite Attitude Planning | IEEE Conference Publication | IEEE Xplore