Dane Sabo 9dab0b4ef1 vault backup: 2026-01-14 13:42:21

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

..

to_process

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

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

LIT-202509012125-how-to-choose-a-good-scientific-problem.md

Auto sync: 2025-09-01 21:41:19 (1 files changed)

2025-09-01 21:41:19 -04:00

LIT-20250819112550-strix-explicit-reactive-synthesis-strikes-back.md

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

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

LIT-20250822120822-a-review-of-formal-methods-applied-to-machine-learning.md

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

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

LIT-20250911143337-multiple-lyapunov-functions-and-other-analysis-tools-for-swtiched-and-hybrid-systems.md

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

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

LIT-20251023125758-nureg899.md

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

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

LIT-20260109152249-hybrid-automata-an-algorithmic-approach-to-the-specification-and-verification-of-hybrid-systems.md

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

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