A Population Protocol Model with Interaction Probability Considering Speeds of Agents | IEEE Conference Publication | IEEE Xplore