Deductive Verification of State-Space Algorithms.

Frédéric Gava Jean Fortin Michaël Guedj

Published in: IFM (2013)

Keyphrases

state space
theoretical analysis
benchmark datasets
optimization problems
computationally efficient
recently developed
orders of magnitude
social networks
computer vision
decision trees
data structure
evolutionary algorithm
markov chain
heuristic search
dynamical systems