Multi-Agent Strategy Synthesis for LTL Specifications through Assumption Composition | IEEE Conference Publication | IEEE Xplore