Synthesis from Probabilistic Components

DOI10.2168/LMCS-10(2:17)2014zbMath1335.68061MaRDI QIDQ5495110

Sumit Nain, Moshe Y. Vardi, Yoad Lustig

Publication date: 31 July 2014

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

zbMATH Keywords

probabilistic componentstemporal synthesis

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

The Complexity of Synthesis from Probabilistic Components

This page was built for publication: Synthesis from Probabilistic Components