From 65ec1b3297e4bbd9709c19c2dc3aa309a56de590 Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Tue, 6 May 2025 15:38:53 -0400 Subject: [PATCH] vault backup: 2025-05-06 15:38:53 --- .obsidian/hotkeys.json | 8 +++++ ...esis - Challenges and Future Directions.md | 32 +++++++++++++++++++ 2 files changed, 40 insertions(+) create mode 100644 Literature Notes/Enhancing Cyber-Physical System Dependability via Synthesis - Challenges and Future Directions.md diff --git a/.obsidian/hotkeys.json b/.obsidian/hotkeys.json index 1374242d..af246765 100755 --- a/.obsidian/hotkeys.json +++ b/.obsidian/hotkeys.json @@ -142,5 +142,13 @@ ], "key": "R" } + ], + "obsidian-zotero-desktop-connector:zdc-exp-Create Literature Note": [ + { + "modifiers": [ + "Alt" + ], + "key": "L" + } ] } \ No newline at end of file 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 new file mode 100644 index 00000000..bc54694e --- /dev/null +++ b/Literature Notes/Enhancing Cyber-Physical System Dependability via Synthesis - Challenges and Future Directions.md @@ -0,0 +1,32 @@ +--- +title: "Enhancing Cyber-Physical System Dependability via Synthesis: Challenges and Future Directions" +year: 2025 +authors: + + - "Taylor, Max" + + - "Amorim, Arthur" + +citekey: "taylorEnhancingCyberPhysicalSystem2025" +location: "Naples, Italy" +--- +Imported: 2025-05-06 3:36 pm +Accessed: 2025-05-05 12:00 am + +# Indexing Information + + + +#ToRead + +>[!seealso] Related Papers +> + +# Annotations +## Notes +![[Paper Notes/Enhancing Cyber-Physical System Dependability via Synthesis: Challenges and Future Directions.md]] + +## Highlights From Zotero + +## Follow-Ups +