---
res:
  bibo_abstract:
  - In addition to being correct, a system should be robust, that is, it should behave
    reasonably even after receiving unexpected inputs. In this paper, we summarize
    two formal notions of robustness that we have introduced previously for reactive
    systems. One of the notions is based on assigning costs for failures on a user-provided
    notion of incorrect transitions in a specification. Here, we define a system to
    be robust if a finite number of incorrect inputs does not lead to an infinite
    number of incorrect outputs. We also give a more refined notion of robustness
    that aims to minimize the ratio of output failures to input failures. The second
    notion is aimed at liveness. In contrast to the previous notion, it has no concept
    of recovery from an error. Instead, it compares the ratio of the number of liveness
    constraints that the system violates to the number of liveness constraints that
    the environment violates.@eng
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Roderick
      foaf_name: Bloem, Roderick
      foaf_surname: Bloem
  - foaf_Person:
      foaf_givenName: Krishnendu
      foaf_name: Chatterjee, Krishnendu
      foaf_surname: Chatterjee
      foaf_workInfoHomepage: http://www.librecat.org/personId=2E5DCA20-F248-11E8-B48F-1D18A9856A87
    orcid: 0000-0002-4561-241X
  - 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/SIES.2011.5953660
  dct_date: 2011^xs_gYear
  dct_language: eng
  dct_publisher: IEEE@
  dct_title: Specification-centered robustness@
...