research
∙
04/03/2023
Automated Expected Value Analysis of Recursive Programs
In this work, we study the fully automated inference of expected result ...
share
research
∙
01/23/2022
Quantum Expectation Transformers for Cost Analysis
We introduce a new kind of expectation transformer for a mixed classical...
research
∙
08/23/2019
Modular Runtime Complexity Analysis of Probabilistic While Programs
We are concerned with the average case runtime complexity analysis of a ...
research
∙
02/27/2018
On Probabilistic Term Rewriting
We study the termination problem for probabilistic term rewrite systems....
research
∙
04/06/2009