@misc{indiciaea27acc3453e4, title = {Automated Expected Amortised Cost Analysis of Probabilistic Data Structures}, author = {Lorenz Leutgeb and Georg Moser and Florian Zuleger}, year = {2024}, doi = {10.1007/978-3-031-13188-2\_4}, url = {https://arxiv.org/abs/2206.03537}, note = {Source identifier: 2206.03537} }