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

Maria Paola Bianchi, Juraj Hromkovic, Ivan Kovác. On the Size of Two-Way Reasonable Automata for the Liveness Problem. Int. J. Found. Comput. Sci., 29(2):187-212, 2018. [doi]

Abstract

Abstract is missing.