Manuscript Oai280-C@1 · Oai280-C.tex · section · 7d44b8c0
Spectator-dependent error
Approximate-recovery examples on the declared models › Spectator-dependent error · lines 1794–1799
This counterexample uses the same connected encoder and decoder as the positive subsystem claim. It cannot be dismissed by fixing the spectator during validation.