@inproceedings{BEJK18,
  author    = {Michael Blondin, Javier Esparza, Stefan Jaax and
                  Anton\'{i}n Ku\v{c}era},
  title     = {Black Ninjas in the Dark: Formal Analysis of Population
                  Protocols}, 
  booktitle = {Proc.\ $\text{33}^{rd}$ Annual ACM/IEEE Symposium on
                  Logic in Computer Science ({LICS})},
  pages     = {1--10},
  year      = {2018},
  doi       = {10.1145/3209108.3209110}
}