Probability and Recursion

Kousha Etessami, Mihalis Yannakakis

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

Abstract

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
Pages2-4
Number of pages3
Volume3827
ISBN (Electronic)978-3-540-32426-3
ISBN (Print)978-3-540-30935-2
DOIs
Publication statusPublished - 2005

Cite this