research
∙
06/15/2023
Finite state verifiers with both private and public coins
We consider the effects of allowing a finite state verifier in an intera...
research
∙
06/02/2022
Real-Time, Constant-Space, Constant-Randomness Verifiers
We study the class of languages that have membership proofs which can be...
research
∙
06/22/2020
Constant-Space, Constant-Randomness Verifiers with Arbitrarily Small Error
We study the capabilities of probabilistic finite-state machines that ac...
research
∙
12/03/2019