Other robots returning home are not part of current robots Uppaal model #28
Description
When robots return home, they return to a point, which ID exceeds the stations' IDs.
Therefore, the point cannot be part of the station plan as it is not in the distance matrix.
The (bad!) solution now is that the other robots are not part of the Uppaal model when generating the next strategy.
This must be fixed.