On stopping criteria in verified nonlinear systems or optimization algorithms.

R. Baker Kearfott G. William Walster

Published in: ACM Trans. Math. Softw. (2000)

Keyphrases

stopping criteria
nonlinear systems
learning algorithm
artificial intelligence
optimization algorithm
fuzzy model
convergence rate