CyPhyHouse: A programming, simulation, and deployment toolchain for heterogeneous distributed coordination | IEEE Conference Publication | IEEE Xplore