Guaranteeing High-Level Robot Behaviours With Past Memory And Future Unknown