Synthesizing Systems with Optimal Average-Case Behavior for Ratio Objectives

@inproceedings{Essen2011SynthesizingSW,
  title={Synthesizing Systems with Optimal Average-Case Behavior for Ratio Objectives},
  author={Christian von Essen and Barbara Jobstmann},
  booktitle={iWIGP},
  year={2011}
}
We show how to automatically construct a system that satisfies a given logical specification and has an optimal average behavior with respect to a specification with ratio costs. When synthesizing a system from a logical specification, it is often the case that several different systems satisfy the specification. In this case, it is usually not easy for the user to state formally which system she prefers. Prior work proposed to rank the correct systems by adding a quantitative aspect to the… CONTINUE READING

Figures and Topics from this paper.