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.027Nov242322181716141312109876531Oct29231918171413121110978Sep30Jul2427Jun2618161524May112Dec629Nov153Jul225Junfeat(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 typorefactor(thesis): switch to closed intervalsrefactor(thesis): introduce a period "Then" instead of ", then"refactor(thesis): introduce some bes and as per definitionsfeat(thesis bib): introduce one more publication about nets and one about optimizationwip(thesis): introduce one sentence for the interval arithmeticswip(thesis): switch to closed subsets for the methodrefactor(thesis): refine some notation on input regions and the methodrefactor(thesis): rename one labelwip(differentiation): fiddle with activationswip(thesis): improve subsection name for softplus lpuwip(thesis): introduce bes, non-breaking spaces and as per definitions into lower bound for non-linear optimization problemwip(thesis): correct brackets after Barbara's remark in linear and non-linear optimization problemwip(thesis): introduce bes, non-breaking spaces and as per definitions into non-linear optimization problemwip(thesis): correct uncertain input region definition for capital Thetawip(thesis): improve uncertain input region definition with Barbara's remarkswip(thesis): correct input region definition to capital Thetaswip(thesis): correct one comma into period