Topology planning for autonomous MMGs: an ordered binary decision diagram‐based approach. Issue 1 (4th February 2020)