Synthesis from Probabilistic Components
dc.citation.firstpage | 1 | |
dc.citation.issueNumber | 2 | |
dc.citation.journalTitle | Logical Methods in Computer Science | |
dc.citation.lastpage | 24 | |
dc.citation.volumeNumber | 10 | |
dc.contributor.author | Nain, Sumit | |
dc.contributor.author | Lustig, Yoad | |
dc.contributor.author | Vardi, Moshe Y. | |
dc.date.accessioned | 2016-03-24T18:24:34Z | |
dc.date.available | 2016-03-24T18:24:34Z | |
dc.date.issued | 2014 | |
dc.description.abstract | Synthesis 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. | |
dc.identifier.citation | Nain, 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. | |
dc.identifier.doi | http://dx.doi.org/10.2168/LMCS-10(2:17)2014 | |
dc.identifier.uri | https://hdl.handle.net/1911/88643 | |
dc.language.iso | eng | |
dc.publisher | Institute of Theoretical Computer Science, Technical University of Braunschweig | |
dc.rights | This work is licensed under the Creative Commons Attribution-NoDerivs License. | |
dc.rights.uri | http://creativecommons.org/licenses/by-nd/2.0/ | |
dc.subject.keyword | temporal synthesis | |
dc.subject.keyword | probabilistic components | |
dc.title | Synthesis from Probabilistic Components | |
dc.type | Journal article | |
dc.type.dcmi | Text | |
dc.type.publication | publisher version |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- 1407.1667.pdf
- Size:
- 274.47 KB
- Format:
- Adobe Portable Document Format
- Description: