Title: Automating Mission Scheduling for Space-Based Observatories