Market-based Multi-robot coordination with HTN planning | IEEE Conference Publication | IEEE Xplore