Synthesis from Probabilistic Components

Simple item page
dc.citation.firstpage1en_US
dc.citation.issueNumber2en_US
dc.citation.journalTitleLogical Methods in Computer Scienceen_US
dc.citation.lastpage24en_US
dc.citation.volumeNumber10en_US
dc.contributor.authorNain, Sumiten_US
dc.contributor.authorLustig, Yoaden_US
dc.contributor.authorVardi, Moshe Y.en_US
dc.date.accessioned2016-03-24T18:24:34Zen_US
dc.date.available2016-03-24T18:24:34Zen_US
dc.date.issued2014en_US
dc.description.abstractSynthesis is the automatic construction of a system from its specification. In classical synthesis algorithms, it is always assumed that the system is "constructed from scratch" rather than composed from reusable components. This, of course, rarely happens in real life, where almost every non-trivial commercial software system relies heavily on using libraries of reusable components. Furthermore, other contexts, such as web-service orchestration, can be modeled as synthesis of a system from a library of components. Recently, Lustig and Vardi introduced dataflow and control-flow synthesis from libraries of reusable components. They proved that dataflow synthesis is undecidable, while control-flow synthesis is decidable. In this work, we consider the problem of control-flow synthesis from libraries of probabilistic components . We show that this more general problem is also decidable.en_US
dc.identifier.citationNain, Sumit, Lustig, Yoad and Vardi, Moshe Y.. "Synthesis from Probabilistic Components." <i>Logical Methods in Computer Science,</i> 10, no. 2 (2014) Institute of Theoretical Computer Science, Technical University of Braunschweig: 1-24. http://dx.doi.org/10.2168/LMCS-10(2:17)2014.en_US
dc.identifier.doihttp://dx.doi.org/10.2168/LMCS-10(2:17)2014en_US
dc.identifier.urihttps://hdl.handle.net/1911/88643en_US
dc.language.isoengen_US
dc.publisherInstitute of Theoretical Computer Science, Technical University of Braunschweigen_US
dc.rightsThis work is licensed under the Creative Commons Attribution-NoDerivs License.en_US
dc.rights.urihttp://creativecommons.org/licenses/by-nd/2.0/en_US
dc.subject.keywordtemporal synthesisen_US
dc.subject.keywordprobabilistic componentsen_US
dc.titleSynthesis from Probabilistic Componentsen_US
dc.typeJournal articleen_US
dc.type.dcmiTexten_US
dc.type.publicationpublisher versionen_US
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
1407.1667.pdf
Size:
274.47 KB
Format:
Adobe Portable Document Format
Description:
Download
Collections
Faculty Publications
Computer Science Publications