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