23 citations · 74 across the 18 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LO2023
On the Hardness of Analyzing Quantum Programs Quantitatively
Martin Avanzini, Georg Moser, Romain Péchoux +1
In this paper, we study quantitative properties of quantum programs. Properties of interest include (positive) almost-sure termination, expected runtime or expected cost, that is,…
cs.PL2023
Automated Expected Value Analysis of Recursive Programs
Martin Avanzini, Georg Moser, Michael Schaper
In this work, we study the fully automated inference of expected result values of probabilistic programs in the presence of natural programming constructs such as procedures, local…