Checking roundoff errors using counterexample-guided narrowing.

Do Thi Bich Ngoc Mizuhito Ogawa

Published in: ASE (2010)

Keyphrases

model checking
neural network
error analysis
computer vision
image processing
estimation error
formal verification
errors occur