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