@Inproceedings{EPTCS348.8, author = {Luteberget, Bj{\o}rnar}, year = {2021}, title = {Improving Online Railway Deadlock Detection using a Partial Order Reduction}, editor = {Farrell, Marie and Luckcuck, Matt}, booktitle = {{\rm Proceedings Third Workshop on} Formal Methods for Autonomous Systems, {\rm Virtual, 21st-22nd of October 2021}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {348}, publisher = {Open Publishing Association}, pages = {110-127}, doi = {10.4204/EPTCS.348.8}, }