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

Maria Paola Bianchi Juraj Hromkovic Ivan Kovác

Published in: Int. J. Found. Comput. Sci. (2018)

Keyphrases

real time
high quality
maximum number
standard deviation
decision making
similarity measure
data model
finite state machines
finite state
small size