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]
@inproceedings{RiaziFGPF22,
title = {Formal verification of deadlock avoidance rules for AGV systems},
author = {Sarmad Riazi and Jonathan Falk and Alexander Greger and Anton Pettersson and Martin Fabian},
year = {2022},
doi = {10.1109/MED54222.2022.9837154},
url = {https://doi.org/10.1109/MED54222.2022.9837154},
researchr = {https://researchr.org/publication/RiaziFGPF22},
cites = {0},
citedby = {0},
pages = {982-987},
booktitle = {30th Mediterranean Conference on Control and Automation, MED 2022, Vouliagmeni, Greece, June 28 - July 1, 2022},
publisher = {IEEE},
isbn = {978-1-6654-0673-4},
}