Decentralized abstractions and timed constrained planning of a general class of coupled multi-agent systems | IEEE Conference Publication | IEEE Xplore