Paper accepted at ATVA'26

We are glad that our paper about synthesizing probabilistic saturating counters with differentially private formal guarantees, has been accepted at ATVA’26.