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

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

CoRR, abs/1011.0268

2010

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