/phd-thesis

Sources for my PhD dissertation

Primary LanguageTeXMIT LicenseMIT

Latex sources of my PhD thesis Reactive Synthesis: branching logics and parameterized systems

The sources do not represent a value per se, but, just in case, I upload them here.

  • The folder thesis contains the thesis. I compiled it using latexmk ./main.tex. There is a compiled version thesis/main.pdf.

  • The folder presentation contains the presentation.