TY - RPRT TI - A Game-theoretic Approach for Synthesizing Fault-Tolerant Embedded Systems AU - Chih-Hong Cheng AU - Harald Ruess AU - Alois Knoll AU - Christian Buckl PY - 2010 UR - https://arxiv.org/abs/1011.0268 ID - 1011.0268 ER -