Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: New Results

Formal study of Voronoi diagrams and Fortune's algorithm

Participants : Ahmed Khulaif A Alharbi, Yves Bertot.

Voronoi diagrams are an example of data that can be used to solve problems in robot motion planning. In this experiment, we provided a formal description of Fortune's algorithm to compute such diagrams, together with a framework to animate this algorithm. Formal proofs of correctness will be the next step.