Market-Based Task Allocation in a Multi-robot Surveillance System | IEEE Conference Publication | IEEE Xplore