Danes-Vault

Literature Notes

vault backup: 2026-01-14 13:42:21

2026-01-14 13:42:21 -05:00

Thesis

Auto sync: 2025-08-29 10:21:31 (9 files changed)

2025-08-29 10:21:31 -04:00

20250815170942-zettelkasten.md

Auto sync: 2025-08-15 17:34:30 (22 files changed)

2025-08-15 17:34:30 -04:00

20250815171141-permanent-notes.md

Auto sync: 2025-08-15 17:34:30 (22 files changed)

2025-08-15 17:34:30 -04:00

20250815171436-literature-notes.md

Auto sync: 2025-08-15 17:34:30 (22 files changed)

2025-08-15 17:34:30 -04:00

20250815171449-hub-notes.md

Auto sync: 2025-08-15 17:34:30 (22 files changed)

2025-08-15 17:34:30 -04:00

20250815171459-fleeting-notes.md

Auto sync: 2025-08-15 17:34:30 (22 files changed)

2025-08-15 17:34:30 -04:00

20250818132007-propositional-logic.md

Auto sync: 2025-08-18 16:54:48 (667 files changed)

2025-08-18 16:54:48 -04:00

20250818132018-predicate-logic.md

Auto sync: 2025-08-18 16:54:48 (667 files changed)

2025-08-18 16:54:48 -04:00

20250818132022-temporal-logic.md

Auto sync: 2025-08-21 12:56:54 (4 files changed)

2025-08-21 12:56:54 -04:00

20250818164800-safety-properties.md

Auto sync: 2025-08-18 16:54:48 (667 files changed)

2025-08-18 16:54:48 -04:00

20250818165010-liveness-properties.md

Auto sync: 2025-08-18 16:54:48 (667 files changed)

2025-08-18 16:54:48 -04:00

20250819103208-strix.md

Auto sync: 2025-08-21 12:56:54 (4 files changed)

2025-08-21 12:56:54 -04:00

20250821123741-syntcomp.md

Auto sync: 2025-08-21 12:56:54 (4 files changed)

2025-08-21 12:56:54 -04:00

20250822134355-formal-methods-in-machine-learning.md

Auto sync: 2025-08-26 11:21:28 (90 files changed)

2025-08-26 11:21:28 -04:00

20250822135802-abstract-interpretation-for-formal-methods.md

Auto sync: 2025-08-26 11:21:28 (90 files changed)

2025-08-26 11:21:28 -04:00

20250826111220-quad-charts.md

Auto sync: 2025-08-26 11:21:28 (90 files changed)

2025-08-26 11:21:28 -04:00

20250826114550-heilmeier-catechism.md

Auto sync: 2025-08-29 10:21:31 (9 files changed)

2025-08-29 10:21:31 -04:00

20250829114522-hybrid-systems.md

Auto sync: 2025-09-14 20:27:41 (8 files changed)

2025-09-14 20:27:41 -04:00

20250911165736-switched-systems.md

Auto sync: 2025-09-14 20:27:41 (8 files changed)

2025-09-14 20:27:41 -04:00

20250911170650-lipschitz-continuous.md

Auto sync: 2025-09-16 17:33:55 (7 files changed)

2025-09-16 17:33:55 -04:00

20251030141457-nuclear-operating-procedures.md

Auto sync: 2025-10-30 15:30:14 (8 files changed)

2025-10-30 15:30:14 -04:00

20251030141936-emergency-operating-procedures.md

Auto sync: 2025-10-30 15:30:14 (8 files changed)

2025-10-30 15:30:14 -04:00

20251223161108-andre-platzer.md

Auto sync: 2025-12-23 17:40:07 (8 files changed)

2025-12-23 17:40:07 -05:00

20251223162450-web-of-science.md

Auto sync: 2025-12-23 17:40:07 (8 files changed)

2025-12-23 17:40:07 -05:00

20251223162954-snowballing.md

Auto sync: 2025-12-23 17:40:07 (8 files changed)

2025-12-23 17:40:07 -05:00

20251223163648-deterministic-parity-automata.md

Auto sync: 2025-12-23 17:40:07 (8 files changed)

2025-12-23 17:40:07 -05:00

20251223165340-mealy-machines.md

Auto sync: 2025-12-23 17:40:07 (8 files changed)

2025-12-23 17:40:07 -05:00

20251223170627-finite-state-machines.md

Auto sync: 2025-12-23 17:40:07 (8 files changed)

2025-12-23 17:40:07 -05:00

20251223171835-moore-machines.md

Auto sync: 2025-12-23 17:52:41 (2 files changed)

2025-12-23 17:52:41 -05:00

20260109155358-hybrid-automata.md

vault backup: 2026-01-14 13:42:21

2026-01-14 13:42:21 -05:00

20260109155410-linear-hybrid-automata.md

vault backup: 2026-01-14 13:42:21

2026-01-14 13:42:21 -05:00

20260109155415-timed-automata.md

vault backup: 2026-01-14 13:42:21

2026-01-14 13:42:21 -05:00

20260109155838-reactive-programs.md

vault backup: 2026-01-14 13:42:21

2026-01-14 13:42:21 -05:00

20260114132351-bayes-theorem.md

vault backup: 2026-01-14 15:47:27

2026-01-14 15:47:27 -05:00

20260114133159-expected-value.md

vault backup: 2026-01-14 13:42:21

2026-01-14 13:42:21 -05:00

20260114153529-random-number-generation.md

vault backup: 2026-01-14 15:47:27

2026-01-14 15:47:27 -05:00