danesabo/Thesis
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
12 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
Dane Sabo edfbb20cbe Auto sync: 2026-03-07 14:29:31 (1 files changed) 
A  "Lang et al. - 2021 - Formal Verification Applied to Spacecraft Attitude Control.pdf"
2026-03-07 14:29:31 -05:00
1-goals-and-outcomes
first commit
2026-02-06 20:23:52 -05:00
2-state-of-the-art
Auto sync: 2026-03-07 14:19:48 (8 files changed)
2026-03-07 14:19:48 -05:00
3-research-approach
Auto sync: 2026-03-07 14:19:48 (8 files changed)
2026-03-07 14:19:48 -05:00
4-metrics-of-success
first commit
2026-02-06 20:23:52 -05:00
5-risks-and-contingencies
first commit
2026-02-06 20:23:52 -05:00
6-broader-impacts
first commit
2026-02-06 20:23:52 -05:00
8-schedule
first commit
2026-02-06 20:23:52 -05:00
.DS_Store
Auto sync: 2026-02-23 15:29:00 (10 files changed)
2026-02-23 15:29:00 -05:00
biblatex.sty
first commit
2026-02-06 20:23:52 -05:00
CLAUDE.md
first commit
2026-02-06 20:23:52 -05:00
dane_proposal_format.cls
first commit
2026-02-06 20:23:52 -05: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.aux
Auto sync: 2026-03-07 14:19:48 (8 files changed)
2026-03-07 14:19:48 -05:00
main.bbl
first commit
2026-02-06 20:23:52 -05:00
main.blg
Auto sync: 2026-03-04 13:00:34 (8 files changed)
2026-03-04 13:00:34 -05:00
main.fdb_latexmk
Auto sync: 2026-03-07 14:19:48 (8 files changed)
2026-03-07 14:19:48 -05:00
main.fls
Auto sync: 2026-03-03 15:30:14 (10 files changed)
2026-03-03 15:30:14 -05:00
main.log
Auto sync: 2026-03-07 14:19:48 (8 files changed)
2026-03-07 14:19:48 -05:00
main.pdf
Auto sync: 2026-03-07 14:19:48 (8 files changed)
2026-03-07 14:19:48 -05:00
main.synctex.gz
Auto sync: 2026-03-07 14:19:48 (8 files changed)
2026-03-07 14:19:48 -05:00
main.tex
Auto sync: 2026-02-27 14:12:02 (10 files changed)
2026-02-27 14:12:02 -05:00
main.toc
Auto sync: 2026-03-07 14:19:48 (8 files changed)
2026-03-07 14:19:48 -05:00
README.md
first commit
2026-02-06 20:23:52 -05:00
references.bib
first commit
2026-02-06 20:23:52 -05:00

README.md

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