Sign in

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

Maria Paola BianchiJuraj HromkovicIvan 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