vault backup: 2025-06-17 09:40:29

Literature Notes/A Review of Formal Methods applied to Machine Learning.md

@@ -28,7 +28,7 @@ Published: 2021-04
 
 # Annotations
 ## Notes
-![[Paper Notes/A Review of Formal Methods applied to Machine Learning.md]]
+![[Notes on Papers/A Review of Formal Methods applied to Machine Learning]]
 
 ## Highlights From Zotero
 >[!tip] Brilliant

Literature Notes/Enhancing Cyber-Physical System Dependability via Synthesis - Challenges and Future Directions.md

@@ -26,7 +26,7 @@ Published: 2025-06
 
 # Annotations
 ## Notes
-![[Paper Notes/Enhancing Cyber-Physical System Dependability via Synthesis- Challenges and Future Directions.md]]
+![[Enhancing Cyber-Physical System Dependability via Synthesis- Challenges and Future Directions]]
 
 ## Highlights From Zotero
 >[!done] Important

Literature Notes/Formal verification of neural network controlled autonomous systems.md

@@ -35,7 +35,7 @@ Published: 2019-04
 
 # Annotations
 ## Notes
-![[Paper Notes/Formal verification of neural network controlled autonomous systems.md]]
+![[Notes on Papers/Formal verification of neural network controlled autonomous systems]]
 
 ## Highlights From Zotero
 >[!highlight] Highlight 

Literature Notes/Reluplex - An Efficient SMT Solver for Verifying Deep Neural Networks.md

@@ -43,7 +43,7 @@ Published: 2017-01
 
 # Annotations
 ## Notes
-![[Paper Notes/Reluplex- An Efficient SMT Solver for Verifying Deep Neural Networks.md]]
+![[Reluplex- An Efficient SMT Solver for Verifying Deep Neural Networks]]
 
 ## Highlights From Zotero
 

Literature Notes/Safe Reinforcement Learning via Shielding.md

@@ -39,7 +39,7 @@ Published: 2018-04
 
 # Annotations
 ## Notes
-![[Paper Notes/Safe Reinforcement Learning via Shielding.md]]
+![[Notes on Papers/Safe Reinforcement Learning via Shielding]]
 
 ## Highlights From Zotero
 

Literature Notes/The Past, Present and Future of Cyber-Physical Systems - A Focus on Models.md

@@ -29,7 +29,7 @@ Published: 2015-02
 
 # Annotations
 ## Notes
-![[Paper Notes/The Past, Present and Future of Cyber-Physical Systems- A Focus on Models.md]]
+![[The Past, Present and Future of Cyber-Physical Systems- A Focus on Models]]
 
 ## Highlights From Zotero
 

Scans/NOTE_061725_NASAFMCONF.md

@@ -0,0 +1,6 @@
+<!The quick brown fox jumps over the lazy dog. The dog takes a nice nap. :)>
+This is a general breakdown of how the conference went, what I learned, and 
+what my impressions were.
+
+# Day One
+##