MrSPOCK: a Long-term Planning Tool for MARS EXPRESS

Cesta, A., Cortellessa, G., Fratini, S., and Oddi, A

In IWPSS-09, 6th International Workshop on Planning and Scheduling for Space, Pasadena, CA, 2009