Multi-Horizon Multi-Agent Planning Using Decentralised Monte Carlo Tree Search | IEEE Journals & Magazine | IEEE Xplore