Synthesizing Probabilistic Composers

DOI10.1007/978-3-642-28729-9_28MaRDI QIDQ2892787zbMATH OpenOpenAlexFDO

Authors 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

probabilistic componentssynthesistemporal logic

Mathematics Subject Classification ID

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

Recommendations

• Synthesis from probabilistic components
• Synthesis from probabilistic components
• Algorithmic Composition

Cited in

(4)

• Synthesis from probabilistic components
• Control improvisation
• Staged composition synthesis
• Synthesis from probabilistic components

This page was built for publication: Synthesizing Probabilistic Composers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2892787)