Details for the publication ChiZLLYWHHTZZ26.

Zhiming Chi, Lutan Zhao, Depeng Liu, Yong Li, Pengfei Yang, Bow-Yaw Wang, Rui Hou, Cheng-Chao Huang, Andrea Turrini, Lijun Zhang, Naijun Zhan (): Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees. In ATVA'26, 2026. URL