Back to Results
First PageMeta Content
Normal distribution / PP / Random variable / Probability density function / Importance sampling / Statistical hypothesis testing / Variance / Test Data Generation / Probability box / Statistics / Probability and statistics / Probability theory


Static Analysis for Probabilistic Programs: Inferring Whole Program Properties from Finitely Many Paths. Sriram Sankaranarayanan Aleksandar Chakarov
Add to Reading List

Document Date: 2013-04-02 14:26:21

Open Document

File Size: 428,39 KB

Share Result on Facebook

City

Seattle / /

Company

Hp / Simmons / Microsoft / /

Country

United States / /

Currency

USD / /

/

Facility

Sriram Sankaranarayanan Aleksandar Chakarov Sumit Gulwani University of Colorado / University of Colorado / /

IndustryTerm

uncertain systems / lattice counting tool / traffic control systems / linear feedback control systems / cyber-physical systems / control systems / computing / overall algorithm / software systems / bound algorithm / /

Organization

University of Colorado / Boulder / /

Person

Monte-Carlo Estimate / Carlo Sampling / Sriram Sankaranarayanan Aleksandar Chakarov Sumit / /

Position

Inverted pendulum controller / /

Technology

alpha / end end Algorithm / laser / overall algorithm / artificial intelligence / analysis algorithms / caching / simulation / dialysis / /

URL

http /

SocialTag