Formal Proofs of Tarjan's Algorithm in Why3, Coq, and Isabelle.
Ran ChenCyril CohenJean-Jacques LévyStephan MerzLaurent ThéryPublished in: CoRR (2018)
Keyphrases
- formal proofs
- dynamic programming
- detection algorithm
- probabilistic model
- computationally efficient
- improved algorithm
- theoretical analysis
- high accuracy
- learning algorithm
- single pass
- path planning
- k means
- convergence rate
- matching algorithm
- ant colony optimization
- experimental study
- multi objective
- objective function
- optimization algorithm
- computational complexity
- data sets
- preprocessing
- estimation algorithm
- hardware implementation
- bayesian networks
- clustering method
- convex hull
- particle swarm optimization
- significant improvement
- np hard
- cost function