"Autonomously generating operations sequences for a Mars rover using ..."

Rob Sherwood et al. (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics