For example, Figure 7.7 shows two alternative refinements of the goal avoid [TrainCollision].The first option consists of allowing one train at most on each block;the second option consists of allowing multiple trains to be on the same block provided that a worst-case stopping distance is maintained between successive trains.