Carnac: Algorithm Variability for Fast Swarm Verification on FPGA | IEEE Conference Publication | IEEE Xplore