Verifying Relative Error Bounds Using Symbolic Simulation.

Jesse Bingham Joe Leslie-Hurd

Published in: CAV (2014)

Keyphrases

error bounds
theoretical analysis
worst case
simulation model
query processing
numerical simulations
simulation models
neural network
optimal solution
mobile robot
model checking
mathematical models
finite sample
connectionist models