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 +##