adds a paper on trajectories for robotics

math-comp · Oct 10, 2024 · 9325795 · 9325795
1 parent 0d1b6ec
commit 9325795
Show file tree

Hide file tree

Showing 2 changed files with 55 additions and 45 deletions.
diff --git a/papers.html b/papers.html
diff --git a/papers.org b/papers.org
@@ -167,6 +167,11 @@ This is a memo to serve in the event we change the sectioning
 
 ** Robotics
 
+- Yves Bertot,
+  _Safe Smooth Paths Between Straight Line Obstacles_.
+   Logics and Type Systems in Theory and Practice, LNCS 14560, Springer, 2024.
+  [[https://doi.org/10.1007/978-3-031-61716-4][doi]], [[https://inria.hal.science/hal-04312815][pdf]]
+
 - Cyril Cohen, Damien Rouhling.
   _A Formal Proof in Coq of LaSalle's Invariance Principle_. ITP 2017. [[https://hal.inria.fr/hal-01612293/document][pdf]]
 - Reynald Affeldt, Cyril Cohen.