Thesis

Go to file

Split 8fa41ae2fc Add paper review annotations and comprehensive report

- Added todonotes to approach.tex with specific citations:
  * FRET validation (Katis 2022, Pressburger 2023)
  * Reactive synthesis (Maoz & Ringert 2015, Luttenberger 2020)
  * Reachability tools (SpaceEx, Flow*, JuliaReach)
  * Barrier certificates (Borrmann 2015, Papachristodoulou 2021)
  * Decomposition-based verification (Kapuria 2025 - same lab/reactor)
  * Expulsory modes with parametric uncertainty (Kapuria 2025)

- Created needs-review-report.md with:
  * Paper summaries (relevance to HAHACS)
  * Supporting evidence by thesis section
  * Gaps identified (8 critical gaps + missing references)
  * Recommended reading priority for candidacy prep
  * Specific recommendations for strengthening claims
  * Summary matrix of all major claims vs. paper support

Note: Kapuria 2025 is most relevant - validates entire approach on SmAHTR.
Key actions: resolve barrier search claim ambiguity, document FMEA → formal
bounds mapping, plan incremental validation.

2026-03-10 20:50:19 -04:00

1-goals-and-outcomes

Convert dense margin comments to inline to fix line tracing

2026-03-09 22:07:31 -04:00

2-state-of-the-art

Clean up repo: remove tracked build artifacts, old versions, cruft

2026-03-09 22:05:33 -04:00

3-research-approach

Add literature review annotations from NEEDS_REVIEWED papers

2026-03-10 20:49:34 -04:00

4-metrics-of-success

Add Split's editorial comments with color-coded feedback