M. Utkan Gezer, A. C. Cem Say. Finite State Verifiers with Both Private and Public Coins. In Giuseppa Castiglione, Marinella Sciortino, editors, Proceedings of the 24th Italian Conference on Theoretical Computer Science, Palermo, Italy, September 13-15, 2023. Volume 3587 of CEUR Workshop Proceedings, pages 241-253, CEUR-WS.org, 2023. [doi]
Abstract is missing.