Mobile Nav

System verification via Model-Checking: A case study of an autonomous multi-differential drive robot