A Game-theoretic Approach for Synthesizing Fault-Tolerant Embedded Systems

Chih-Hong Cheng , Harald Rueß , Alois Knoll and Christian Buckl

CoRR, abs/1011.0268

2010

url: http://arxiv.org/abs/1011.0268