bibtex

@inproceedings{BCG+10,
title = {Robustness in the Presence of Liveness },
author = {Bloem, Roderick and Chatterjee, Krishnendu and Greimel, Karin and Henzinger, Thomas A. and Jobstmann, Barbara},
year = {2010},
booktitle = {Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010},
pages = {410-424},
team = {DCS},
abstract = {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.},
}