Julian Müllner | DeepAI

DeepAI

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

Featured Co-authors

Laura Kovács
31 publications
Marcel Moosbrugger
10 publications

research

∙ 07/20/2023

Strong Invariants Are Hard: On the Hardness of Strongest Polynomial Invariants for (Probabilistic) Programs

We show that computing the strongest polynomial invariant for single-pat...

0 Julian Müllner, et al. ∙

research

∙ 05/24/2023

Automated Sensitivity Analysis for Probabilistic Loops

We present an exact approach to analyze and quantify the sensitivity of ...

0 Marcel Moosbrugger, et al. ∙