Someone from Dolby can comment with more expertise, but in my opinion, you should wire those (4) ceiling speakers separately. Standard Pro Tools bed panning is sort of vague-sounding, so if you really want precise locations on the ceiling, you will want to be in object mode, which can address those speakers separately.
Sorry for our late reply.
yes, you should wire the four overhead speakers separately.
The Dolby Atmos Production Suite takes care of distributing your audio to the speakers.
Audio that is routed to a BED Overhead channel (for example: Left Top) will be played from both the respective front- and rear overhead speaker.
Audio that is routed as an OBJECT can adress each overhead speaker individually.