Good points. Automated train control maps are not even 2D: they're directed graphs, precisely mapped to sub-foot precision, with all permissible edges fully che

Good points. Automated train control maps are not even 2D: they're directed graphs, precisely mapped to sub-foot precision, with all permissible edges fully checked in advance, at design and at mapping. Far easier to navigate than a road network, which can be simplified and approximated to a directed graph, but 1. at the cost of some precision, and 2. orders of magnitude more likely to change unnoticed.