Thesis

Go to file

Split 303a72da29 Editorial pass: tactical (sentence-level), operational (paragraph/section), and strategic (Heilmeier alignment) improvements

- Strengthened topic-stress positioning throughout
- Improved verb choice and active constructions
- Enhanced transitions between paragraphs and sections
- Clarified Heilmeier question alignments
- Reduced redundancy and tightened prose

2026-03-09 17:04:02 -04:00

1-goals-and-outcomes

Editorial pass: tactical (sentence-level), operational (paragraph/section), and strategic (Heilmeier alignment) improvements

2026-03-09 17:04:02 -04:00

2-state-of-the-art

Editorial pass: tactical (sentence-level), operational (paragraph/section), and strategic (Heilmeier alignment) improvements

2026-03-09 17:04:02 -04:00

3-research-approach

Editorial pass: tactical (sentence-level), operational (paragraph/section), and strategic (Heilmeier alignment) improvements

2026-03-09 17:04:02 -04:00

4-metrics-of-success

Editorial pass: tactical (sentence-level), operational (paragraph/section), and strategic (Heilmeier alignment) improvements

2026-03-09 17:04:02 -04:00

5-risks-and-contingencies

Editorial pass: tactical (sentence-level), operational (paragraph/section), and strategic (Heilmeier alignment) improvements

2026-03-09 17:04:02 -04:00

6-broader-impacts

Editorial pass: tactical (sentence-level), operational (paragraph/section), and strategic (Heilmeier alignment) improvements

2026-03-09 17:04:02 -04:00

8-schedule

Copy edit: multi-level editorial pass

2026-03-09 16:50:02 -04: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

EDITORIAL_SUMMARY.md

Add editorial summary documenting changes and observations

2026-03-09 16:39:12 -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.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.