Merging Planning, Scheduling & Verification - A Preliminary Analysis

Cesta, A., Finzi, A., Fratini, S., Orlandini, A., and Tronci, E

In ASTRA-08. Proceedings of the 10th Workshop on Advanced Space Technologies for Robotics and Automation, ESA-ESTEC, November, 2008