{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,18]],"date-time":"2026-03-18T14:04:21Z","timestamp":1773842661628,"version":"3.50.1"},"reference-count":45,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,6,19]],"date-time":"2023-06-19T00:00:00Z","timestamp":1687132800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,6,19]],"date-time":"2023-06-19T00:00:00Z","timestamp":1687132800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,6,19]]},"DOI":"10.1109\/iwqos57198.2023.10188716","type":"proceedings-article","created":{"date-parts":[[2023,7,27]],"date-time":"2023-07-27T13:21:00Z","timestamp":1690464060000},"page":"01-10","source":"Crossref","is-referenced-by-count":3,"title":["Toward a Unified Framework for Verifying and Interpreting Learning-Based Networking Systems"],"prefix":"10.1109","author":[{"given":"Yangfan","family":"Huang","sequence":"first","affiliation":[{"name":"Institute of Artificial Intelligence, Xiamen University"}]},{"given":"Yuling","family":"Lin","sequence":"additional","affiliation":[{"name":"School of Informatics, Xiamen University"}]},{"given":"Haizhou","family":"Du","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Shanghai University of Electric Power"}]},{"given":"Yijian","family":"Chen","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Shanghai University of Electric Power"}]},{"given":"Haohao","family":"Song","sequence":"additional","affiliation":[{"name":"Institute of Artificial Intelligence, Xiamen University"}]},{"given":"Linghe","family":"Kong","sequence":"additional","affiliation":[{"name":"School of Electronic Information and Electrical Engineering, Shanghai Jiao Tong University"}]},{"given":"Qiao","family":"Xiang","sequence":"additional","affiliation":[{"name":"Institute of Artificial Intelligence, Xiamen University"}]},{"given":"Qiang","family":"Li","sequence":"additional","affiliation":[{"name":"Alibaba"}]},{"given":"Franck","family":"Le","sequence":"additional","affiliation":[{"name":"IBM Research"}]},{"given":"Jiwu","family":"Shu","sequence":"additional","affiliation":[{"name":"Institute of Artificial Intelligence, Xiamen University"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3387514.3405859"},{"key":"ref35","article-title":"Localizing router configuration errors using minimal correction sets","author":"gember-jacobson","year":"2022","journal-title":"ArXiv Preprint"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_5"},{"key":"ref34","author":"clarke","year":"1996","journal-title":"Computer-Aided Verification"},{"key":"ref15","article-title":"Automated Verification of Neural Networks: Advances, Challenges and Perspectives","volume":"abs 1805 9938","author":"leofante","year":"2018","journal-title":"CoRR"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/3341216.3342218"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.3233\/AIC-2012-0525"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TSG.2020.3009401"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.inffus.2019.12.012"},{"key":"ref30","article-title":"Local rule-based explanations of black box decision systems","author":"guidotti","year":"2018","journal-title":"ArXiv Preprint"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM42981.2021.9488898"},{"key":"ref33","first-page":"337","article-title":"Z3: An efficient SMT solver","author":"moura","year":"2008","journal-title":"ICTAC"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-25540-4_26"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/1995376.1995394"},{"key":"ref2","first-page":"3104","article-title":"Sequence to Sequence Learning with Neural Networks","author":"sutskever","year":"2014","journal-title":"NIPS"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2016.90"},{"key":"ref17","article-title":"Verifying neural networks with mixed integer programming","volume":"abs 1711 7356","author":"tjeng","year":"2017","journal-title":"CoRR"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TNNLS.2019.2944672"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_1"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/3236386.3241340"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v32i1.11491"},{"key":"ref18","article-title":"Measuring neural net robustness with constraints","volume":"29","author":"bastani","year":"2016","journal-title":"NIPS"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/3447548.3470806"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/3452296.3472936"},{"key":"ref45","year":"2023","journal-title":"UINT Framework"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TETCI.2021.3100641"},{"key":"ref25","article-title":"Evaluating robustness of neural networks with mixed integer programming","author":"tjeng","year":"2017","journal-title":"ArXiv Preprint"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP52444.2021.9651937"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/72.554193"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/361002.361007"},{"key":"ref22","first-page":"579","article-title":"Netcomplete: Practical network-wide configuration synthesis with autocompletion","author":"el-hassany","year":"2018","journal-title":"NSDI"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v35i13.17362"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098834"},{"key":"ref43","article-title":"Robust models are more interpretable because attributions look normal","author":"wang","year":"2021","journal-title":"ArXiv Preprint"},{"key":"ref28","author":"molnar","year":"2022","journal-title":"Interpretable Machine Learning"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/3341216.3342210"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.2139\/ssrn.3063289"},{"key":"ref8","article-title":"A survey of methods for explaining black box models","volume":"51","author":"guidotti","year":"2018","journal-title":"ACM Computing Surveys"},{"key":"ref7","first-page":"1","article-title":"Using recurrent neural networks toward black-box system anomaly prediction","author":"huang","year":"0","journal-title":"2016 IEEE\/ACM 24th International Symposium on Quality of Service (IWQoS)"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/DSAA.2018.00018"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098843"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72079-9_9"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/IWQoS.2018.8624128"},{"key":"ref5","first-page":"3050","article-title":"A deep reinforcement learning perspective on internet congestion control","author":"jay","year":"2019","journal-title":"ICML PMLR"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/1993316.1993550"}],"event":{"name":"2023 IEEE\/ACM 31st International Symposium on Quality of Service (IWQoS)","location":"Orlando, FL, USA","start":{"date-parts":[[2023,6,19]]},"end":{"date-parts":[[2023,6,21]]}},"container-title":["2023 IEEE\/ACM 31st International Symposium on Quality of Service (IWQoS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10188660\/10188690\/10188716.pdf?arnumber=10188716","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,14]],"date-time":"2023-08-14T13:39:04Z","timestamp":1692020344000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10188716\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,19]]},"references-count":45,"URL":"https:\/\/doi.org\/10.1109\/iwqos57198.2023.10188716","relation":{},"subject":[],"published":{"date-parts":[[2023,6,19]]}}}