Return to Article Details Drake: An Efficient Executive for Temporal Plans with Choice Download Download PDF