WP012: Indoor Automation with Many Mobile Robots