Formal Verification of Merging Arbitration Control System for Logistics Robots. - Nobuhiko Miyamoto; Hironobu Okamoto; Noriaki Ando; Yukikazu Koide (SII, 2024)