LAUSR

About LAUSR
Donate
Contact Us

Follow us:

You are not signed in:

Sign Up!


   Articles with "sure termination" as a keyword



Photo by markuswinkler from unsplash

On the hardness of analyzing probabilistic programs

Sign Up to like & get
recommendations! Published in 2018 at "Acta Informatica"

DOI: 10.1007/s00236-018-0321-1

Abstract: We study the hardness of deciding probabilistic termination as well as the hardness of approximating expected values (e.g. of program variables) and (co)variances for probabilistic programs.Termination We distinguish two notions of probabilistic termination: Given a… read more here.

Keywords: sure termination; probabilistic programs; program; value ... See more keywords