/mscs-stanford-thesis

(Stanford MSCS Thesis) Algorithms for efficient validation of black-box systems

Primary LanguageTeX

Algorithms for efficient validation of black-box systems

Master of Science in Computer Science with a Distinction in Research.

Awarded the Best CS Master's Thesis (The Christofer Stephenson Memorial Award for Graduate Research)

Stanford University—Robert Moss, 2021.

See moss-mscs-thesis.pdf

To compile, run latexmk