conference paper published yes Roderick Bloem author Karin Greimel author Thomas A Henzinger author 40876CD8-F248-11E8-B48F-1D18A9856A870000−0002−2985−7724 Barbara Jobstmann author FMCAD: Formal Methods in Computer-Aided Design 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. Springer2009 eng 10.1109/FMCAD.2009.5351139 85 - 92 yes Bloem, Roderick, et al. <i>Synthesizing Robust Systems</i>. Springer, 2009, pp. 85–92, doi:<a href="https://doi.org/10.1109/FMCAD.2009.5351139">10.1109/FMCAD.2009.5351139</a>. R. Bloem, K. Greimel, T. A. Henzinger, and B. Jobstmann, “Synthesizing robust systems,” presented at the FMCAD: Formal Methods in Computer-Aided Design, 2009, pp. 85–92. Bloem, Roderick, Karin Greimel, Thomas A Henzinger, and Barbara Jobstmann. “Synthesizing Robust Systems,” 85–92. Springer, 2009. <a href="https://doi.org/10.1109/FMCAD.2009.5351139">https://doi.org/10.1109/FMCAD.2009.5351139</a>. Bloem, R., Greimel, K., Henzinger, T. A., &#38; Jobstmann, B. (2009). Synthesizing robust systems (pp. 85–92). Presented at the FMCAD: Formal Methods in Computer-Aided Design, Springer. <a href="https://doi.org/10.1109/FMCAD.2009.5351139">https://doi.org/10.1109/FMCAD.2009.5351139</a> Bloem R, Greimel K, Henzinger TA, Jobstmann B. 2009. Synthesizing robust systems. FMCAD: Formal Methods in Computer-Aided Design, 85–92. R. Bloem, K. Greimel, T.A. Henzinger, B. Jobstmann, in:, Springer, 2009, pp. 85–92. Bloem R, Greimel K, Henzinger TA, Jobstmann B. Synthesizing robust systems. In: Springer; 2009:85-92. doi:<a href="https://doi.org/10.1109/FMCAD.2009.5351139">10.1109/FMCAD.2009.5351139</a> 38352018-12-11T12:05:26Z2022-03-21T08:25:44Z