8 citations · 21 across the 8 of their papers we have counts for
1 paper · 1 filter
Chih-Hong Cheng, Harald Ruess, Alois Knoll +1
In this paper, we present an approach for fault-tolerant synthesis by combining predefined patterns for fault-tolerance with algorithmic game solving. A non-fault-tolerant system,…