danesabo/Thesis
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
38 Commits 3 Branches 0 Tags
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
Split e4f1a5f6af Add .latexmkrc for proper bibtex cycling with vimtex/latexmk
2026-03-17 14:58:32 -04:00
1-goals-and-outcomes
feedback from earlier now integrated. Clear of almost all notes.
2026-03-16 17:15:35 -04:00
2-state-of-the-art
Fix all citations: add missing bib entries from Zotero, fix typos (lunz->lunze, katis_realizibility->realizability), add citations for hybrid automata (Alur), dL (Platzer), KeYmaera X (Fulton), barrier certificates (Prajna), reachability tools (Frehse SpaceEx, Guernic, Mitchell, Bansal HJ), Lyapunov (Branicky), convert biblatex->bibtex format
2026-03-16 17:37:53 -04:00
3-research-approach
Fix two LaTeX errors: remove itemize from dasinline (line 429), remove stray brace (line 673)
2026-03-17 14:56:24 -04:00
4-metrics-of-success
feedback from earlier now integrated. Clear of almost all notes.
2026-03-16 17:15:35 -04:00
5-risks-and-contingencies
feedback from earlier now integrated. Clear of almost all notes.
2026-03-16 17:15:35 -04:00
6-broader-impacts
Move operator staffing data from Human Factors to Broader Impacts
2026-03-16 17:19:15 -04:00
8-schedule
Add Split's editorial comments with color-coded feedback
2026-03-09 21:44:23 -04:00
.gitignore
Clean up repo: remove tracked build artifacts, old versions, cruft
2026-03-09 22:05:33 -04:00
.latexmkrc
Add .latexmkrc for proper bibtex cycling with vimtex/latexmk
2026-03-17 14:58:32 -04:00
20260314_reading.pdf
feedback from earlier now integrated. Clear of almost all notes.
2026-03-16 17:15:35 -04:00
CLAUDE.md
first commit
2026-02-06 20:23:52 -05:00
dane_proposal_format.cls
feedback from earlier now integrated. Clear of almost all notes.
2026-03-16 17:15:35 -04:00
ERLM_Request_for_Proposals.pdf
first commit
2026-02-06 20:23:52 -05:00
goals-only.tex
Add v3 research approach: clean structure, DICE framing, figures
2026-02-23 16:00:41 -05:00
Lang et al. - 2021 - Formal Verification Applied to Spacecraft Attitude Control.pdf
Auto sync: 2026-03-07 14:29:31 (1 files changed)
2026-03-07 14:29:31 -05:00
main.tex
Add DAS reading comments as inline todonotes (cyan)
2026-03-14 23:13:41 -04:00
needs-review-report.md
Add paper review annotations and comprehensive report
2026-03-10 20:50:19 -04:00
README.md
first commit
2026-02-06 20:23:52 -05:00
references.bib
Fix all citations: add missing bib entries from Zotero, fix typos (lunz->lunze, katis_realizibility->realizability), add citations for hybrid automata (Alur), dL (Platzer), KeYmaera X (Fulton), barrier certificates (Prajna), reachability tools (Frehse SpaceEx, Guernic, Mitchell, Bansal HJ), Lyapunov (Branicky), convert biblatex->bibtex format
2026-03-16 17:37:53 -04:00
todonotes.sty
Fix unicode and escaping in review comments
2026-03-14 21:37:42 -04:00

README.md

The file is empty.
Description
No description provided
Readme 8.2 MiB
Languages
TeX 100%