Dolu, Ö., Ersoy, N., Gezer, M.U., Say, A.C.C., “Real-time, Constant-space, Constant-randomness Verifiers”, LNCS Vol. 13266, Implementation and Application of Automata (26th International Conference, CIAA 2022 Proceedings) 2022.