@InProceedings{Doshi+TAKK:2024, author = "Doshi, Hastyn and Tripathi, Ayush and Agarwal, Keshav and Khadilkar, Harshad and Kalyanakrishnan, Shivaram", title = "Linear-Time Optimal Deadlock Detection for Efficient Scheduling in Multi-Track Railway Networks", booktitle = "Thirty-third International Joint Conference on Artificial Intelligence (IJCAI 2024)", year = "2024", note = "To appear", }