Modular Mix-and-Match Complementation of Büchi Automata.

Vojtech Havlena Ondrej Lengál Yong Li Barbora Smahlíková Andrea Turrini

Published in: TACAS (1) (2023)

Keyphrases

cellular automata
finite automata
finite state
learning algorithm
probabilistic automata
modular neural network
information gain
modular neural networks
real world
image processing
case study
relational databases
query language
finite state machines