Computational Complexity of Decision Problems on Self-verifying Finite Automata.

Markus Holzer, Sebastian Jakobi, Jozef Jirsek Jr.

Browse the full DLT paper archive.