From fc7c93ea53b7b6e12918d5aa9728e9bdf9cef5f3 Mon Sep 17 00:00:00 2001 From: Garrett Mills Date: Fri, 2 Sep 2022 20:12:17 +0000 Subject: [PATCH] Update 'README.md' --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 1d78cd2..96d4e9e 100644 --- a/README.md +++ b/README.md @@ -12,6 +12,7 @@ A collection of articles & links - [Exercise Examples](https://github.com/catalin-hritcu/exos-ssr/tree/master/Catalin) - [Orchestrating Layered Attestations](https://ku-sldg.github.io/copland/resources/copland-post-2019.pdf) - [Design & Formal Verification of a Copland-based Attestation Protocol](https://ampetz.github.io/resources/memocode21_camera-ready.pdf) +- [SymForce: Symbolic Computation and Code Generation for Robotics](https://arxiv.org/abs/2204.07889) ### Development