Sublinear-Time Collision Detection with a Polynomial Number of States in Population Protocols. - Takumi Araya; Yuichi Sudo (SIROCCO, 2025)