Polynomial Synthesis of Asynchronous Automata

Nicolas Baudru Rémi Morin

Published in: CoRR (2005)

Keyphrases

cellular automata
finite automata
program synthesis
probabilistic automata
finite state
finite state automata
data sets
search engine
online discussion
low order
asynchronous circuits
finite automaton
real time
finite state machines
texture synthesis
lagrange interpolation