From d6f3e695f8dc893e28955a491b1c127aa478d02a Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Tue, 17 Jun 2025 09:40:29 -0400 Subject: [PATCH] vault backup: 2025-06-17 09:40:29 --- ... Review of Formal Methods applied to Machine Learning.md | 2 +- ...lity via Synthesis - Challenges and Future Directions.md | 2 +- ...ation of neural network controlled autonomous systems.md | 2 +- ...ficient SMT Solver for Verifying Deep Neural Networks.md | 2 +- .../Safe Reinforcement Learning via Shielding.md | 2 +- ... Future of Cyber-Physical Systems - A Focus on Models.md | 2 +- ... Review of Formal Methods applied to Machine Learning.md | 0 ...ility via Synthesis- Challenges and Future Directions.md | 0 ...ation of neural network controlled autonomous systems.md | 0 .../Hardware In The Loop Papers.md | 0 ...ficient SMT Solver for Verifying Deep Neural Networks.md | 0 .../Safe Reinforcement Learning via Shielding.md | 0 ...d Future of Cyber-Physical Systems- A Focus on Models.md | 0 Scans/NOTE_061725_NASAFMCONF.md | 6 ++++++ 14 files changed, 12 insertions(+), 6 deletions(-) rename {Paper Notes => Notes on Papers}/A Review of Formal Methods applied to Machine Learning.md (100%) rename {Paper Notes => Notes on Papers}/Enhancing Cyber-Physical System Dependability via Synthesis- Challenges and Future Directions.md (100%) rename {Paper Notes => Notes on Papers}/Formal verification of neural network controlled autonomous systems.md (100%) rename {Paper Notes => Notes on Papers}/Hardware In The Loop Papers.md (100%) rename {Paper Notes => Notes on Papers}/Reluplex- An Efficient SMT Solver for Verifying Deep Neural Networks.md (100%) rename {Paper Notes => Notes on Papers}/Safe Reinforcement Learning via Shielding.md (100%) rename {Paper Notes => Notes on Papers}/The Past, Present and Future of Cyber-Physical Systems- A Focus on Models.md (100%) create mode 100644 Scans/NOTE_061725_NASAFMCONF.md diff --git a/Literature Notes/A Review of Formal Methods applied to Machine Learning.md b/Literature Notes/A Review of Formal Methods applied to Machine Learning.md index 8b45635b3..1b3f5a60f 100644 --- a/Literature Notes/A Review of Formal Methods applied to Machine Learning.md +++ b/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 diff --git a/Literature Notes/Enhancing Cyber-Physical System Dependability via Synthesis - Challenges and Future Directions.md b/Literature Notes/Enhancing Cyber-Physical System Dependability via Synthesis - Challenges and Future Directions.md index 348e25e47..45ecdfb5f 100644 --- a/Literature Notes/Enhancing Cyber-Physical System Dependability via Synthesis - Challenges and Future Directions.md +++ b/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 diff --git a/Literature Notes/Formal verification of neural network controlled autonomous systems.md b/Literature Notes/Formal verification of neural network controlled autonomous systems.md index 67cc9180d..1018bf7ef 100644 --- a/Literature Notes/Formal verification of neural network controlled autonomous systems.md +++ b/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 diff --git a/Literature Notes/Reluplex - An Efficient SMT Solver for Verifying Deep Neural Networks.md b/Literature Notes/Reluplex - An Efficient SMT Solver for Verifying Deep Neural Networks.md index b17d7d3b9..ff21f7e35 100644 --- a/Literature Notes/Reluplex - An Efficient SMT Solver for Verifying Deep Neural Networks.md +++ b/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 diff --git a/Literature Notes/Safe Reinforcement Learning via Shielding.md b/Literature Notes/Safe Reinforcement Learning via Shielding.md index 79f69857e..a0bcc892e 100644 --- a/Literature Notes/Safe Reinforcement Learning via Shielding.md +++ b/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 diff --git a/Literature Notes/The Past, Present and Future of Cyber-Physical Systems - A Focus on Models.md b/Literature Notes/The Past, Present and Future of Cyber-Physical Systems - A Focus on Models.md index 7a9e24e92..9e263f6de 100644 --- a/Literature Notes/The Past, Present and Future of Cyber-Physical Systems - A Focus on Models.md +++ b/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 diff --git a/Paper Notes/A Review of Formal Methods applied to Machine Learning.md b/Notes on Papers/A Review of Formal Methods applied to Machine Learning.md similarity index 100% rename from Paper Notes/A Review of Formal Methods applied to Machine Learning.md rename to Notes on Papers/A Review of Formal Methods applied to Machine Learning.md diff --git a/Paper Notes/Enhancing Cyber-Physical System Dependability via Synthesis- Challenges and Future Directions.md b/Notes on Papers/Enhancing Cyber-Physical System Dependability via Synthesis- Challenges and Future Directions.md similarity index 100% rename from Paper Notes/Enhancing Cyber-Physical System Dependability via Synthesis- Challenges and Future Directions.md rename to Notes on Papers/Enhancing Cyber-Physical System Dependability via Synthesis- Challenges and Future Directions.md diff --git a/Paper Notes/Formal verification of neural network controlled autonomous systems.md b/Notes on Papers/Formal verification of neural network controlled autonomous systems.md similarity index 100% rename from Paper Notes/Formal verification of neural network controlled autonomous systems.md rename to Notes on Papers/Formal verification of neural network controlled autonomous systems.md diff --git a/Paper Notes/Hardware In The Loop Papers.md b/Notes on Papers/Hardware In The Loop Papers.md similarity index 100% rename from Paper Notes/Hardware In The Loop Papers.md rename to Notes on Papers/Hardware In The Loop Papers.md diff --git a/Paper Notes/Reluplex- An Efficient SMT Solver for Verifying Deep Neural Networks.md b/Notes on Papers/Reluplex- An Efficient SMT Solver for Verifying Deep Neural Networks.md similarity index 100% rename from Paper Notes/Reluplex- An Efficient SMT Solver for Verifying Deep Neural Networks.md rename to Notes on Papers/Reluplex- An Efficient SMT Solver for Verifying Deep Neural Networks.md diff --git a/Paper Notes/Safe Reinforcement Learning via Shielding.md b/Notes on Papers/Safe Reinforcement Learning via Shielding.md similarity index 100% rename from Paper Notes/Safe Reinforcement Learning via Shielding.md rename to Notes on Papers/Safe Reinforcement Learning via Shielding.md diff --git a/Paper Notes/The Past, Present and Future of Cyber-Physical Systems- A Focus on Models.md b/Notes on Papers/The Past, Present and Future of Cyber-Physical Systems- A Focus on Models.md similarity index 100% rename from Paper Notes/The Past, Present and Future of Cyber-Physical Systems- A Focus on Models.md rename to Notes on Papers/The Past, Present and Future of Cyber-Physical Systems- A Focus on Models.md diff --git a/Scans/NOTE_061725_NASAFMCONF.md b/Scans/NOTE_061725_NASAFMCONF.md new file mode 100644 index 000000000..72725c767 --- /dev/null +++ b/Scans/NOTE_061725_NASAFMCONF.md @@ -0,0 +1,6 @@ + +This is a general breakdown of how the conference went, what I learned, and +what my impressions were. + +# Day One +##