Computing Bounds for Counter Automata.

Maximilien Colange Dimitri Racordon Didier Buchs

Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2015)

Keyphrases

upper bound
cellular automata
lower bound
upper and lower bounds
lower and upper bounds
finite automata
machine learning
evolutionary algorithm
worst case
temporal logic
finite state
tight bounds