A Logic Framework for Verification of Timed Algorithms.

Anatol Slissenko

Published in: Fundam. Informaticae (2004)

Keyphrases

learning algorithm
theoretical analysis
benchmark datasets
neural network
computational cost
orders of magnitude
model checking
times faster
data sets
significant improvement
worst case
theoretical framework