Bounds2: A Tool for Compositional Multi-parametrised Verification.

Published in: TACAS (2014)

Keyphrases

lower bound
model checking
neural network
user friendly
error bounds
data sets
genetic algorithm
information systems
decision making
optimal solution
artificial neural networks
upper bound
worst case
software tools
upper and lower bounds