diff --git a/Writing/SoK_High_Assurance_Reinforcement_Learning_for_Control.md b/Writing/SoK_High_Assurance_Reinforcement_Learning_for_Control.md
index 05c01b062..863e57d0e 100644
--- a/Writing/SoK_High_Assurance_Reinforcement_Learning_for_Control.md
+++ b/Writing/SoK_High_Assurance_Reinforcement_Learning_for_Control.md
@@ -11,6 +11,12 @@ When was it written:
 ### What's good about it, what's bad about it?
 ### What does this review cover? What does it miss?
 
+## [[Literature Notes/A Review of Formal Methods applied to Machine Learning|A Review of Formal Methods applied to Machine Learning]]
+Written by Caterina Urban and Antoine Mine at Universite PSL.
+Written April 22, 2021
+
+
+
 # Paper Outline
 1. Motivation 
 2. What will be covered