View in EDS PDF Full Text

Measuring and Synthesizing Systems in Probabilistic Environments.

Saved in:
Bibliographic Details
Title: Measuring and Synthesizing Systems in Probabilistic Environments.
Authors: CHATTERJEE, KRISHNENDU1 Krishnendu.Chatterjee@ist.ac.at, HENZINGER, THOMAS A.1 tah@ist.ac.at, JOBSTMANN, BARBARA2 barbara.jobstmann@imag.fr, SINGH, ROHIT3 rohitsingh@csail.mit.edu
Source: Journal of the ACM. Feb2015, Vol. 62 Issue 1, p1-34. 34p.
Database: Mathematics Source
Description
ISSN:00045411
DOI:10.1145/2699430