10.1007/978-3-642-14295-6_36
Bloem, Roderick
Roderick
Bloem
Chatterjee, Krishnendu
Krishnendu
Chatterjee0000-0002-4561-241X
Greimel, Karin
Karin
Greimel
Henzinger, Thomas A
Thomas A
Henzinger0000−0002−2985−7724
Jobstmann, Barbara
Barbara
Jobstmann
Robustness in the presence of liveness
LNCS
Springer
2010
2018-12-11T12:05:36Z
2019-08-02T12:38:19Z
conference
/record/3866
/record/3866.json
213083 bytes
application/pdf
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.