@misc{indiciaec439bff82f24,
  title = {Robust Detection in Leak-Prone Population Protocols},
  author = {Dan Alistarh and Bartłomiej Dudek and Adrian Kosowski and David Soloveichik and Przemysław Uznański},
  year = {2019},
  url = {https://arxiv.org/abs/1706.09937},
  note = {Source identifier: 1706.09937}
}