An Effective Method for Satellite Mission Scheduling Based on Reinforcement Learning | IEEE Conference Publication | IEEE Xplore