Minimal Separating Sets for Acceptance Conditions in Muller Automata.

Helmut Lescow Jens Vöge

Published in: Theor. Comput. Sci. (2000)

Keyphrases

minimal subsets
cellular automata
sufficient conditions
environmental conditions
finite automata
real time
data mining
external factors