BDD-Based Deadlock Avoidance for Automated Guided Vehicles in Warehouse Logistics (Case Study Paper).

Benjamin von Berg, Bernhard K. Aichernig, Fabian Wedenik

Browse the full FM paper archive.