Sarmad Riazi, Jonathan Falk, Alexander Greger, Anton Pettersson, Martin Fabian. Formal verification of deadlock avoidance rules for AGV systems. In 30th Mediterranean Conference on Control and Automation, MED 2022, Vouliagmeni, Greece, June 28 - July 1, 2022. pages 982-987, IEEE, 2022. [doi]
Abstract is missing.