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.030Nov2927242322181716141312109876531Oct29231918171413121110978Sep30Jul2427Jun2618161524May112Dec629Nov153Jul225Junwip(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 sectionswip(thesis): refine proof of first method theoremrefactor(thesis): remove variables in objective functionsrefactor(thesis): correct whitespacewip(thesis): correct typofeat(thesis): provide proof for the equivalence statement in method sectionrefactor(thesis): provide label and equation number to one of the itemsrefactor(thesis): provide label to one of the itemswip(thesis): introduce two TODOswip(thesis): refine linear inclusionwip(thesis): remove those last squared bracketsfeat(thesis): introduce all these interval spaces and more DNN symbolswip(thesis): refine linear inclusionrefactor(thesis): replace one last sb to nwip(thesis): refine optimization objectiverefactor(thesis): reformatwip(thesis): use curly brackets for simple math expressionswip(thesis): correct typo