---
res:
  bibo_abstract:
  - Many specifications include assumptions on the environment. If the environment
    satisfies the assumptions then a correct system reacts as intended. However, when
    the environment deviates from its expected behavior, a correct system can behave
    arbitrarily. We want to synthesize robust systems that degrade gracefully, i.e.,
    a small number of environment failures should induce a small number of system
    failures. We define ratio games and show that an optimal robust system corresponds
    to the winning strategy of a ratio game, where the system minimizes the ratio
    of system errors to environment errors. We show that ratio games can be solved
    in pseudopolynomial time.@eng
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Roderick
      foaf_name: Bloem, Roderick
      foaf_surname: Bloem
  - foaf_Person:
      foaf_givenName: Karin
      foaf_name: Greimel, Karin
      foaf_surname: Greimel
  - foaf_Person:
      foaf_givenName: Thomas A
      foaf_name: Henzinger, Thomas A
      foaf_surname: Henzinger
      foaf_workInfoHomepage: http://www.librecat.org/personId=40876CD8-F248-11E8-B48F-1D18A9856A87
    orcid: 0000−0002−2985−7724
  - foaf_Person:
      foaf_givenName: Barbara
      foaf_name: Jobstmann, Barbara
      foaf_surname: Jobstmann
  bibo_doi: 10.1109/FMCAD.2009.5351139
  dct_date: 2009^xs_gYear
  dct_language: eng
  dct_publisher: Springer@
  dct_title: Synthesizing robust systems@
...