TY - RPRT TI - Automated Expected Amortised Cost Analysis of Probabilistic Data Structures AU - Lorenz Leutgeb AU - Georg Moser AU - Florian Zuleger PY - 2024 DO - 10.1007/978-3-031-13188-2_4 UR - https://arxiv.org/abs/2206.03537 ID - 2206.03537 ER -