Affine Automata Verifiers.

Aliya Khadieva, Abuzer Yakaryilmaz

Browse the full UC paper archive.