Sampling automata and programs.

Qin Li Zhe Dang

Published in: Theor. Comput. Sci. (2015)

Keyphrases

sampling algorithm
finite state machines
cellular automata
sampling strategies
sample size
random sampling
artificial intelligence
regular expressions
monte carlo
markov chain monte carlo
intermediate level
tree automata
databases
finite state
fixpoint
finite automata
provably correct