Blar i SINTEF Digital på tidsskrift "Electronic Proceedings in Theoretical Computer Science (EPTCS)"
Viser treff 1-1 av 1
-
Improving Online Railway Deadlock Detection using a Partial Order Reduction
(Peer reviewed; Journal article, 2021)Although railway dispatching on large national networks is gradually becoming more computerized, there are still major obstacles to retrofitting (semi-)autonomous control systems. In addition to requiring extensive and ...