Artifact for "BDD-based Deadlock Prevention for Automated Guided Vehicles in Warehouse Logistics"

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Benjamin von Berg, Bernhard K. Aichernig, Fabian Wedenik
DOI: 10.5281/zenodo.18607855
Cited by: 0

Abstract

This repository contains the artifact for the paper "BDD-based Deadlock Prevention for Automated Guided Vehicles in Warehouse Logistics" by Benjamin von Berg, Bernhard K. Aichernig and Fabian Wedenik, accepted for publication at FM 2026.

Fields of Study & Subjects

Formal Methods in Verification Petri Nets in System Modeling Robotic Path Planning Algorithms

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
11 February 2026
Language
EN