Eventuality synthesis for controlled linear automata.

Hao Xia Y. Pang Anastasios Trontis Michael P. Spathopoulos

Published in: ACC (2002)

Keyphrases

artificial neural networks
hidden markov models
closed form
program synthesis
image processing
database systems
probabilistic model
cellular automata
regular expressions
finite state
computer controlled
functional programs