A Case Study on Formal Analysis of an Automated Guided Vehicle System

Figure 1

AGV tracking circular painted orbit.