Synchronizing Automata with Extremal Properties.

Andrzej Kisielewicz Marek Szykula

Published in: CoRR (2016)

Keyphrases

model checking
finite state machines
finite state
desirable properties
neural network
computer vision
real time
decision making
database
data sets
data mining
relational databases