Safe smooth paths between straight line obstacles

DOI10.1007/978-3-031-61716-4_3MaRDI QIDQ7030791zbMATH OpenFDO

Authors Yves Bertot

Publication date 7 February 2025

Full work available at URL https://doi.org/10.1007/978-3-031-61716-4_3

Mathematics Subject Classification ID

Computer science (68-XX)

Cites work

• A formal study of Bernstein coefficients and polynomials
• A formally verified motion planner for autonomous vehicles
• A note on two problems in connexion with graphs
• Algorithms in real algebraic geometry
• Axioms and hulls
• Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination
• Formal study of plane Delaunay triangulation
• Formal verification of a geometry algorithm: a quest for abstract views and symmetry in Coq proofs
• scientific article; zbMATH DE number 2085169 (Why is no real title available?)
• scientific article; zbMATH DE number 1863395 (Why is no real title available?)
• Theorem of three circles in Coq

Cited in

(1)

• Formally verifying a vertical cell decomposition algorithm

This page was built for publication: Safe smooth paths between straight line obstacles

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7030791)