Lorenz Leutgeb | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Georg Moser
14 publications
Florian Zuleger
11 publications
Christoph Weidenbach
10 publications
Martin Bromberger
6 publications
Martin Hofmann
5 publications
David Obwaller
1 publication

research

∙ 05/08/2023

Explicit Model Construction for Saturated Constrained Horn Clauses

Clause sets saturated by hierarchic superposition do not offer an explic...

0 Martin Bromberger, et al. ∙

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...

0 Lorenz Leutgeb, et al. ∙

research

∙ 01/28/2021

Type-Based Analysis of Logarithmic Amortised Complexity

We introduce a novel amortised resource analysis couched in a type-and-e...

0 Martin Hofmann, et al. ∙