Formal Methods For Motion Planning And Control In Dynamic And Partially Known Environments