DOC: add DOI

tulip-control · Jan 31, 2024 · 0b9b315 · 0b9b315
1 parent de96893
commit 0b9b315
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/CITATION.cff b/CITATION.cff
@@ -11,3 +11,4 @@ preferred-citation:
   authors:
     - family-names: "Livingston"
       given-names: "Scott C."
+  doi: 10.7907/5m62h-a4204
diff --git a/README.md b/README.md
@@ -95,4 +95,4 @@ for copying conditions.
 
 If this software is useful to you, we kindly ask that you cite us:
 
-S. C. Livingston, "gr1c: a tool for interactive and incremental reactive synthesis". Caltech Library, Jan. 21, 2024. <https://authors.library.caltech.edu/records/6w6ns-1ag78>
+S. C. Livingston, "gr1c: a tool for interactive and incremental reactive synthesis". Caltech Library, Jan. 21, 2024. [doi: 10.7907/5m62h-a4204](https://doi.org/10.7907/5m62h-a4204)
Original file line number	Diff line number	Diff line change
Expand Up		@@ -95,4 +95,4 @@ for copying conditions.

		If this software is useful to you, we kindly ask that you cite us:

		S. C. Livingston, "gr1c: a tool for interactive and incremental reactive synthesis". Caltech Library, Jan. 21, 2024. <https://authors.library.caltech.edu/records/6w6ns-1ag78>
		S. C. Livingston, "gr1c: a tool for interactive and incremental reactive synthesis". Caltech Library, Jan. 21, 2024. [doi: 10.7907/5m62h-a4204](https://doi.org/10.7907/5m62h-a4204)