Login / Signup
Better Quality in Synthesis through Quantitative Objectives.
Roderick Bloem
Krishnendu Chatterjee
Thomas A. Henzinger
Barbara Jobstmann
Published in:
CAV (2009)
Keyphrases
</>
quantitative measures
high quality
higher quality
quantitative and qualitative
quality assessment
real time
bayesian networks
qualitative and quantitative
multimedia
information technology