The solution of linear probabilistic recurrence relations
From MaRDI portal
Publication:1402216
DOI10.1007/s00453-002-1003-4zbMath1053.68126OpenAlexW1598763886MaRDI QIDQ1402216
Publication date: 19 August 2003
Published in: Algorithmica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00453-002-1003-4
Related Items (3)
Proving divide and conquer complexities in Isabelle/HOL ⋮ Solutions of linear recurrence equations ⋮ Computing expected runtimes for constant probability programs
This page was built for publication: The solution of linear probabilistic recurrence relations