Automated Expected Amortised Cost Analysis of Probabilistic Data Structures

Leutgeb, Lorenz; Moser, Georg; Zuleger, Florian

doi:10.1007/978-3-031-13188-2_4

Item

ITEM ACTIONSEXPORT

Add to Basket

Local TagsRelease HistoryDetailsSummary

Released

Conference Paper

Automated Expected Amortised Cost Analysis of Probabilistic Data Structures

MPS-Authors

/persons/resource/persons282483

Leutgeb, Lorenz
Automation of Logic, MPI for Informatics, Max Planck Society;

External Resource

No external resources are shared

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

Fulltext (public)

978-3-031-13188-2_4.pdf
(Publisher version), 927KB

Supplementary Material (public)

There is no public supplementary material available

Citation

Leutgeb, L., Moser, G., & Zuleger, F. (2022). Automated Expected Amortised Cost Analysis of Probabilistic Data Structures. In S. Shoham, & Y. Vizel (Eds.), Computer Aided Verification (pp. 70-91). Berlin: Springer. doi:10.1007/978-3-031-13188-2_4.

Cite as: https://hdl.handle.net/21.11116/0000-000B-CA5F-8

Abstract

There is no abstract available