This website requires JavaScript.
Explore
Help
Sign In
danesabo
/
Thesis
Watch
1
Star
0
Fork
0
You've already forked Thesis
Code
Issues
Pull Requests
Actions
Packages
Projects
Releases
Wiki
Activity
13
Commits
3
Branches
0
Tags
Go to file
Code
Clone
HTTPS
Open with VS Code
Open with VSCodium
Open with Intellij IDEA
Download ZIP
Download TAR.GZ
Download BUNDLE
Split
1820c38cae
Add .gitignore for LaTeX build artifacts
2026-03-09 21:34:49 -04: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
.gitignore
Add .gitignore for LaTeX build artifacts
2026-03-09 21:34:49 -04: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%
