BDD-Based Deadlock Avoidance for Automated Guided Vehicles in Warehouse Logistics (Case Study Paper). - Benjamin von Berg; Bernhard K. Aichernig; Fabian Wedenik (FM (1), 2026)