Reactive Multi-agent Coordination using Auction-based Task Allocation and Behavior Trees | IEEE Conference Publication | IEEE Xplore