An Autonomous Vault-Building Robot System for Creating Spanning Structures | IEEE Conference Publication | IEEE Xplore