>I don't believe it's necessary to have multiple GPS antennas (one per device), unless signal path redundancy is required

Don't those splitters typically have an amplifier, so become a single point of failure?

If you're going through the trouble to have multiple time servers on your network, you probably want to make sure that an amplifier failure doesn't take them all down at the same time.