On the Size of Two-Way Reasonable Automata for the Liveness Problem.

Maria Paola Bianchi, Juraj Hromkovic, Ivan Kovc

Browse the full DLT paper archive.