Decentralized abstractions for multi-agent systems under coupled constraints. (January 2019)