D Smith - Proceedings of the AAAI Conference on Artificial …, 2012 - ojs.aaai.org
Activity planning for missions such as the Mars Exploration Rover mission presents many
technical challenges, including oversubscription, consideration of time, concurrency …