Formal Proof and Analysis of an Incremental Cycle Detection Algorithm.

Armaël Guéneau Jacques-Henri Jourdan Arthur Charguéraud François Pottier

Published in: ITP (2019)

Keyphrases

detection algorithm
formal proof
detection rate
detection method
motion detection
detection accuracy
outlier detection
feature detection
corner detection
real time
three dimensional