---
_id: '3866'
abstract:
- lang: eng
  text: Systems ought to behave reasonably even in circumstances that are not anticipated
    in their specifications. We propose a definition of robustness for liveness specifications
    which prescribes, for any number of environment assumptions that are violated,
    a minimal number of system guarantees that must still be fulfilled. This notion
    of robustness can be formulated and realized using a Generalized Reactivity formula.
    We present an algorithm for synthesizing robust systems from such formulas. For
    the important special case of Generalized Reactivity formulas of rank 1, our algorithm
    improves the complexity of [PPS06] for large specifications with a small number
    of assumptions and guarantees.
alternative_title:
- LNCS
author:
- first_name: Roderick
  full_name: Bloem, Roderick
  last_name: Bloem
- first_name: Krishnendu
  full_name: Chatterjee, Krishnendu
  id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
  last_name: Chatterjee
  orcid: 0000-0002-4561-241X
- first_name: Karin
  full_name: Greimel, Karin
  last_name: Greimel
- first_name: Thomas A
  full_name: Henzinger, Thomas A
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000−0002−2985−7724
- first_name: Barbara
  full_name: Jobstmann, Barbara
  last_name: Jobstmann
citation:
  ama: 'Bloem R, Chatterjee K, Greimel K, Henzinger TA, Jobstmann B. Robustness in
    the presence of liveness. In: Touili T, Cook B, Jackson P, eds. Vol 6174. Springer;
    2010:410-424. doi:<a href="https://doi.org/10.1007/978-3-642-14295-6_36">10.1007/978-3-642-14295-6_36</a>'
  apa: 'Bloem, R., Chatterjee, K., Greimel, K., Henzinger, T. A., &#38; Jobstmann,
    B. (2010). Robustness in the presence of liveness. In T. Touili, B. Cook, &#38;
    P. Jackson (Eds.) (Vol. 6174, pp. 410–424). Presented at the CAV: Computer Aided
    Verification, Edinburgh, UK: Springer. <a href="https://doi.org/10.1007/978-3-642-14295-6_36">https://doi.org/10.1007/978-3-642-14295-6_36</a>'
  chicago: Bloem, Roderick, Krishnendu Chatterjee, Karin Greimel, Thomas A Henzinger,
    and Barbara Jobstmann. “Robustness in the Presence of Liveness.” edited by Tayssir
    Touili, Byron Cook, and Paul Jackson, 6174:410–24. Springer, 2010. <a href="https://doi.org/10.1007/978-3-642-14295-6_36">https://doi.org/10.1007/978-3-642-14295-6_36</a>.
  ieee: 'R. Bloem, K. Chatterjee, K. Greimel, T. A. Henzinger, and B. Jobstmann, “Robustness
    in the presence of liveness,” presented at the CAV: Computer Aided Verification,
    Edinburgh, UK, 2010, vol. 6174, pp. 410–424.'
  ista: 'Bloem R, Chatterjee K, Greimel K, Henzinger TA, Jobstmann B. 2010. Robustness
    in the presence of liveness. CAV: Computer Aided Verification, LNCS, vol. 6174,
    410–424.'
  mla: Bloem, Roderick, et al. <i>Robustness in the Presence of Liveness</i>. Edited
    by Tayssir Touili et al., vol. 6174, Springer, 2010, pp. 410–24, doi:<a href="https://doi.org/10.1007/978-3-642-14295-6_36">10.1007/978-3-642-14295-6_36</a>.
  short: R. Bloem, K. Chatterjee, K. Greimel, T.A. Henzinger, B. Jobstmann, in:, T.
    Touili, B. Cook, P. Jackson (Eds.), Springer, 2010, pp. 410–424.
conference:
  end_date: 2010-07-19
  location: Edinburgh, UK
  name: 'CAV: Computer Aided Verification'
  start_date: 2010-07-15
date_created: 2018-12-11T12:05:36Z
date_published: 2010-07-01T00:00:00Z
date_updated: 2021-01-12T07:52:47Z
day: '01'
ddc:
- '004'
department:
- _id: KrCh
- _id: ToHe
doi: 10.1007/978-3-642-14295-6_36
ec_funded: 1
editor:
- first_name: Tayssir
  full_name: Touili, Tayssir
  last_name: Touili
- first_name: Byron
  full_name: Cook, Byron
  last_name: Cook
- first_name: Paul
  full_name: Jackson, Paul
  last_name: Jackson
file:
- access_level: open_access
  checksum: 9d204611c8d7855bed8134f8708a0010
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:16:52Z
  date_updated: 2020-07-14T12:46:19Z
  file_id: '5243'
  file_name: IST-2012-54-v1+1_Robustness_in_the_presence_of_liveness.pdf
  file_size: 213083
  relation: main_file
file_date_updated: 2020-07-14T12:46:19Z
has_accepted_license: '1'
intvolume: '      6174'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Submitted Version
page: 410 - 424
project:
- _id: 25EFB36C-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '215543'
  name: COMponent-Based Embedded Systems design Techniques
- _id: 25F1337C-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '214373'
  name: Design for Embedded Systems
publication_status: published
publisher: Springer
publist_id: '2310'
pubrep_id: '54'
quality_controlled: '1'
scopus_import: 1
status: public
title: Robustness in the presence of liveness
type: conference
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
volume: 6174
year: '2010'
...