Formal Verification of Merging Arbitration Control System for Logistics Robots | IEEE Conference Publication | IEEE Xplore