TY - RPRT TI - Lower Bounds on the State Complexity of Population Protocols AU - Philipp Czerner AU - Javier Esparza AU - Jérôme Leroux PY - 2022 UR - https://arxiv.org/abs/2102.11619 ID - 2102.11619 ER -