Synthesizing robust systems Bloem, Roderick Greimel, Karin Henzinger, Thomas A ; https://orcid.org/0000−0002−2985−7724 Jobstmann, Barbara 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. Springer 2009 info:eu-repo/semantics/conferenceObject doc-type:conferenceObject text http://purl.org/coar/resource_type/c_5794 https://research-explorer.ista.ac.at/record/3835 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> eng info:eu-repo/semantics/altIdentifier/doi/10.1109/FMCAD.2009.5351139 info:eu-repo/semantics/closedAccess