Robot navigation algorithms implemented in SPARK