@inproceedings{fournier:hal-03429008,
  TITLE = {{Carnac: Algorithm Variability for Fast Swarm Model-Checking on FPGA}},
  AUTHOR = {Fournier, {\'E}milien and Teodorov, Ciprian and Lagadec, Lo{\"i}c},
  URL = {https://hal.science/hal-03429008},
  BOOKTITLE = {{FPL (Field Programmable Logic)}},
  ADDRESS = {Dresden, Germany},
  YEAR = {2021},
  MONTH = Aug,
  HAL_ID = {hal-03429008},
  HAL_VERSION = {v1},
}