7 citations · 10 across the 4 of their papers we have counts for
Showing 2012 · cs.CCShow all
2 papers · 2 filters
cs.CC2012
Checking generalized debates with small space and randomness
H. Gökalp Demirci, A. C. Cem Say
We introduce a model of probabilistic debate checking, where a silent resource-bounded verifier reads a dialogue about the membership of the string in the language under considerat…
cs.CC2012★ 1 cited
Probabilistic verifiers for asymmetric debates
H. Gökalp Demirci, A. C. Cem Say, Abuzer Yakaryılmaz
We examine the power of silent constant-space probabilistic verifiers that watch asymmetric debates (where one side is unable to see some of the messages of the other) between two…