Warehouse Automation in a Day: From Model to Implementation with Provable Guarantees | IEEE Conference Publication | IEEE Xplore