Probability and Recursion

Kousha Etessami, Mihalis Yannakakis

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

In this talk we will discuss recent work on the modeling and algorithmic analysis of systems involving recursion and probability. There has been intense activity recently in the study of such systems [2,3,10,11,13,14,15,16,17]. The primary motivation comes from the analysis of probabilistic programs with procedures. Probability can arise either due to randomizing steps in the program, or it may reflect statistical assumptions on the behaviour of the program, under which we want to investigate its properties.
Original languageEnglish
Title of host publicationAlgorithms and Computation
Subtitle of host publication16th International Symposium, ISAAC 2005, Sanya, Hainan, China, December 19-21, 2005, Proceedings
PublisherSpringer Berlin Heidelberg
Number of pages3
ISBN (Electronic)978-3-540-32426-3
ISBN (Print)978-3-540-30935-2
Publication statusPublished - 2005


Dive into the research topics of 'Probability and Recursion'. Together they form a unique fingerprint.

Cite this