Login / Signup

Modular Mix-and-Match Complementation of Büchi Automata (Technical Report).

Vojtech HavlenaOndrej LengálYong LiBarbora SmahlíkováAndrea Turrini
Published in: CoRR (2023)
Keyphrases
  • technical report
  • cellular automata
  • probabilistic automata
  • tree automata
  • real world
  • case study
  • finite state
  • finite automata
  • neural network
  • information retrieval
  • timed automata
  • modular neural networks