Factorization of Finite State Machines under Observational Equivalence.

Huajun Qin Philip Lewis

Published in: CONCUR (1990)

Keyphrases

finite state machines
finite state automata
model checking
regular expressions
matrix factorization
digital circuits
hidden markov models
pairwise
low rank
kronecker product
factorization methods
non rigid structure from motion
multibody