DOI10.1007/s10626-017-0242-0zbMath1374.93029MaRDI QIDQ1677194
Orna Kupferman, Shaull Almagor
Publication date: 10 November 2017 Published in: Discrete Event Dynamic Systems (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/s10626-017-0242-0
zbMATH Keywords
lattice; synthesis; noise; automata; quantitative formal methods
Mathematics Subject Classification ID
93B50: Synthesis problems
03B44: Temporal logic