Login / Signup

Better Quality in Synthesis through Quantitative Objectives.

Roderick BloemKrishnendu ChatterjeeThomas A. HenzingerBarbara 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