vault backup: 2025-07-21 22:24:32

Notes on Papers/Formal requirements elicitation with FRET.md

@@ -14,7 +14,7 @@ Really I don't think they contribute much here than an explanation of what's
 going on.
 
 **Clarity:** 
-
+Easy to read. 
 
 # Second Pass
 **What is the main thrust?**

Notes on Papers/Runtime Safety Assurance Using Reinforcement Learning.md

@@ -0,0 +1,30 @@
+# First Pass
+**Category:** 
+Simulation paper that talks about using a recovery controller in combination 
+with a nominal controller that is learned.
+
+**Context:** 
+Drones
+
+**Correctness:** 
+Not very. They do really well in the intro and methodology, but shit hits the fan
+when it comes to the results.
+
+**Contributions:** 
+
+
+**Clarity:** 
+
+# Second Pass
+**What is the main thrust?**
+
+**What is the supporting evidence?**
+
+**What are the key findings?**
+
+# Third Pass
+**Recreation Notes:**
+
+**Hidden Findings:**
+
+**Weak Points? Strong Points?**