Better Quality in Synthesis through Quantitative Objectives

  title={Better Quality in Synthesis through Quantitative Objectives},
  author={Roderick Bloem and Krishnendu Chatterjee and Thomas A. Henzinger and Barbara Jobstmann},
Most specification languages express only qualitative constraints. However, among two implementations that satisfy a given specification, one may be preferred to another. For example, if a specification asks that every request is followed by a response, one may prefer an implementation that generates responses quickly but does not generate unnecessary responses. We use quantitative properties to measure the “goodness” of an implementation. Using games with corresponding quantitative objectives… CONTINUE READING
Highly Cited
This paper has 197 citations. REVIEW CITATIONS


Publications citing this paper.

197 Citations

Citations per Year
Semantic Scholar estimates that this publication has 197 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 21 references

Game Relations and Metrics

22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) • 2007
View 1 Excerpt

Compositional Quantitative Reasoning

Third International Conference on the Quantitative Evaluation of Systems - (QEST'06) • 2006

Games with secure equilibria

T. A. Henzinger K. Chatterjee

Mean-payoff parity games

20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) • 2005
View 6 Excerpts

Similar Papers

Loading similar papers…