Upper Bounds on the Automata Size for Integer and Mixed Real and Integer Linear Arithmetic (Extended Abstract).

Jochen Eisinger

Published in: CSL (2008)

Keyphrases

extended abstract
upper bound
integer arithmetic
floating point
lower bound
linear functions
real life
lower and upper bounds
upper and lower bounds
neural network
learning algorithm
cellular automata
finite state