A Minimized Automaton Representation of Reachable States.

Gerard J. Holzmann Anuj Puri

Published in: Int. J. Softw. Tools Technol. Transf. (1999)

Keyphrases

image representation
initial state
real time
image processing
evolutionary algorithm
state transition
finite automaton
three dimensional
database systems
multiscale
symbolic representation
representation scheme
finite automata