Login / Signup

Rabin vs. Streett Automata.

Udi Boker
Published in: FSTTCS (2017)
Keyphrases
  • cellular automata
  • finite automata
  • regular expressions
  • tree automata
  • finite state
  • lattice gas
  • finite state machines
  • probabilistic automata
  • finite state automata
  • timed automata
  • evolutionary algorithm
  • data model