Supplementary Materials for: Marble: Model-based Robustness Analysis of Stateful Deep Learning Systemsdoi:10.21979/N9/TTTSFKDR-NTU (Data)2020-08-261Du, Xiaoning; Li, Yi; Xie, Xiaofei; Ma, Lei; Liu, Yang; Zhao, Jianjun, 2020, "Supplementary Materials for: Marble: Model-based Robustness Analysis of Stateful Deep Learning Systems", https://doi.org/10.21979/N9/TTTSFK, DR-NTU (Data), V1Supplementary Materials for: Marble: Model-based Robustness Analysis of Stateful Deep Learning Systemsdoi:10.21979/N9/TTTSFKDu, XiaoningLi, YiXie, XiaofeiMa, LeiLiu, YangZhao, JianjunPDF readerAcademic Research Fund Tier 1 Award No. 2018-T1-002-069Prime Ministers Office, Singapore under its National Cybersecurity R&D Program Award No. NRF2018NCRNCR005-0001NCR Award Number NSOE003-0001NRFI06-2020-0022funding NGF-2019-06-024DR-NTU (Data)Li, YiLi, Yi2020-08-26Computer and Information ScienceDeep learning, robustness, recurrent neural networkThis supplementary material contains additional proofs for the paper: "Marble: Model-based Robustness Analysis of Stateful DeepLearning Systems".ProofsDu, X., Li, Y., Xie, X., Ma, L., Liu, Y., & Zhao, J. (2020, September). Marble: Model-based Robustness Analysis of Stateful Deep Learning Systems. In 2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) (pp. 423-435). IEEE.10.1145/3324884.3416564Du, X., Li, Y., Xie, X., Ma, L., Liu, Y., & Zhao, J. (2020, September). Marble: Model-based Robustness Analysis of Stateful Deep Learning Systems. In 2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) (pp. 423-435). IEEE.MARBLE_appendix.pdfAdditional proofsapplication/pdf