Minimal Separating Sets for Muller Automata.

Helmut Lescow Jens Vöge

Published in: Workshop on Implementing Automata (1997)

Keyphrases

minimal subsets
databases
cellular automata
finite automata
image segmentation
video sequences
probabilistic automata
social networks
database systems
finite state machines
definite clause
lattice gas