Probabilistic Program Analysis with Martingales Aleksandar Chakarov1 and Sriram Sankaranarayanan1 University of Colorado, Boulder, CO. Abstract. We present techniques for the analysis of - Boulder, Colorado - Document - PDFSEARCH.IO

First Page	Meta Content
	Probabilistic Program Analysis with Martingales Aleksandar Chakarov1 and Sriram Sankaranarayanan1 University of Colorado, Boulder, CO. Abstract. We present techniques for the analysis of Add to Reading List Document Date: 2013-05-24 15:17:11 Open Document File Size: 369,90 KB Share Result on Facebook

Probabilistic Program Analysis with Martingales Aleksandar Chakarov1 and Sriram Sankaranarayanan1 University of Colorado, Boulder, CO. Abstract. We present techniques for the analysis of Add to Reading List