research
∙
05/08/2023
Explicit Model Construction for Saturated Constrained Horn Clauses
Clause sets saturated by hierarchic superposition do not offer an explic...
share
research
∙
06/07/2022
Automated Expected Amortised Cost Analysis of Probabilistic Data Structures
In this paper, we present the first fully-automated expected amortised c...
research
∙
01/28/2021
