View in EDS PDF Full Text

Synthesizing efficient systems in probabilistic environments.

Saved in:
Bibliographic Details
Title: Synthesizing efficient systems in probabilistic environments.
Authors: Essen, Christian1, Jobstmann, Barbara2, barbara.jobstmann@epfl.ch, Parker, David3, Varshneya, Rahul4
Source: Acta Informatica; Jun2016, Vol. 53 Issue 4, p425-457, 33p
Database: Applied Science & Technology Source
Description
ISSN:00015903
DOI:10.1007/s00236-015-0237-y