Skip to content
Snippets Groups Projects
Select Git revision
  • main default
1 result
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.027Dec1312430Nov2927242322181716141312109876531Oct29231918171413121110978Sep30Jul2427Jun2618161524May112Dec629Nov153Jul225Junfeat(thesis): introduce long headings into tocstyle(differentiation): blacken notebookfix(thesis): repair formula syntax errorfix(thesis): replace a wrong referencerefactor(thesis): correct another typorefactor(thesis): improve one formulation after discussing it with Barbararefactor(thesis): correct a definition signrefactor(thesis): express the first interval extension clearer by reordering termsrefactor(thesis): correct a minor typorefactor(thesis): introduce some whitespace to silence some IDE warningrefactor(thesis): simplify definition of uncertain input region after discussing it with Barbararefactor(thesis): rename optimum of non-linear optimization problem to \Delta x_{non}refactor(thesis): introduce a couple of todos after discussing the draft with Barbararefactor(thesis): correct another minor typofix(thesis): correct proof of QuadLU LPUwip(thesis): correct a minor typofix(thesis): fix alphas domain for QuadLUwip(thesis): introduce first ideas about what to do in the simulation sectionswip(thesis): improve labels of background chapterswip(thesis): improve question and remarkbox titlesrefactor(thesis): refactor preliminaries into uncertainty propagation chapterfeat(thesis): finally choose nice titel for robustness verification sectionrefactor(thesis): adapt indentionrefactor(thesis): correct one interval extensions small letter and replace one \eqcolon by \eqqcolonrefactor(thesis): replace one residual QuadLU by \quadlufeat(thesis): extend symbols by all that's required by chapter 4 and some of chapter 3 and reorderrefactor(thesis): increase width of symbols tablerefactor(thesis): introduce a lot of non-breaking spacesrefactor(thesis): introduce ReLU operatorfeat(thesis): extend symbols significantlyfeat(thesis): introduce LPU into abbreviationsrefactor(thesis): change tabulars into ltablex tables with page breaksrefactor(thesis): reorder abbreviationswip(thesis): refine proof for central corollary of robustness verification methodfeat(thesis): refine and finalize proof for theorem 2 of robustness verification methodfeat(thesis): refine and finalize theorem 2 for robustness verification methodrefactor(thesis): change a citation into not inlinewip(thesis): introduce Lin et al. references to basically everywhere in the method sectionwip(thesis): refine linear inclusion definitionwip(thesis): refine formulations in method sections