Synthesizing Probabilistic Composers

DOI10.1007/978-3-642-28729-9_28zbMath1352.68161OpenAlexW2224615189MaRDI QIDQ2892787

Sumit Nain, Moshe Y. Vardi

Publication date: 22 June 2012

Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-28729-9_28

zbMATH Keywords

synthesistemporal logicprobabilistic components

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

This page was built for publication: Synthesizing Probabilistic Composers