{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,26]],"date-time":"2026-05-26T15:04:49Z","timestamp":1779807889832,"version":"3.53.1"},"publisher-location":"New York, NY, USA","reference-count":10,"publisher":"ACM","funder":[{"name":"Canada Research Chair grant","award":["CRC-2023-00035"],"award-info":[{"award-number":["CRC-2023-00035"]}]},{"name":"NSERC Discovery grant","award":["RGPIN-2023-03775"],"award-info":[{"award-number":["RGPIN-2023-03775"]}]},{"name":"Rogers Communications Chair in Network Automation","award":["-"],"award-info":[{"award-number":["-"]}]},{"name":"Canada Research Chair in Network Intelligence","award":["-"],"award-info":[{"award-number":["-"]}]},{"name":"NSERC Alliance","award":["-"],"award-info":[{"award-number":["-"]}]},{"name":"Mitacs","award":["-"],"award-info":[{"award-number":["-"]}]},{"name":"Ontario Research Fund – Research Excellence program","award":["ORF-RE012-051"],"award-info":[{"award-number":["ORF-RE012-051"]}]},{"name":"European Union’s Horizon Europe research and innovation programme under the ENVELOPE project","award":["101139048"],"award-info":[{"award-number":["101139048"]}]},{"name":"DFG grant CLAYRE","award":["565652476"],"award-info":[{"award-number":["565652476"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,6,8]]},"DOI":"10.1145\/3801489.3806889","type":"proceedings-article","created":{"date-parts":[[2026,5,26]],"date-time":"2026-05-26T14:22:48Z","timestamp":1779805368000},"page":"40-42","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Analyzing Symbolic Properties for DRL Agents in Systems and Networking"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6657-0677","authenticated-orcid":false,"given":"Mohammad","family":"Zangooei","sequence":"first","affiliation":[{"name":"University of Waterloo, Waterloo, ON, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5439-9131","authenticated-orcid":false,"given":"Jannis","family":"Weil","sequence":"additional","affiliation":[{"name":"Leibniz University Hannover, Hannover, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9385-7729","authenticated-orcid":false,"given":"Amr","family":"Rizk","sequence":"additional","affiliation":[{"name":"Leibniz University Hannover, Hannover, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5594-1110","authenticated-orcid":false,"given":"Mina Tahmasbi","family":"Arashloo","sequence":"additional","affiliation":[{"name":"University of Waterloo, Waterloo, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7936-6862","authenticated-orcid":false,"given":"Raouf","family":"Boutaba","sequence":"additional","affiliation":[{"name":"University of Waterloo, Waterloo, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,6,8]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM42981.2021.9488898"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3452296.3472936"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/IWQoS57198.2023.10188716"},{"key":"e_1_3_2_1_4_1","volume-title":"International Conference on Machine Learning. PMLR, 3050-3059","author":"Jay Nathan","year":"2019","unstructured":"Nathan Jay, Noga Rotman, Brighten Godfrey, Michael Schapira, and Aviv Tamar. 2019. A deep reinforcement learning perspective on internet congestion control. In International Conference on Machine Learning. PMLR, 3050-3059."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098843"},{"key":"e_1_3_2_1_6_1","volume-title":"Evaluating Robustness of Neural Networks with Mixed Integer Programming. In International Conference on Learning Representations. https:\/\/openreview.net\/forum?id=HyGIdiRqtm","author":"Tjeng Vincent","year":"2019","unstructured":"Vincent Tjeng, Kai Y. Xiao, and Russ Tedrake. 2019. Evaluating Robustness of Neural Networks with Mixed Integer Programming. In International Conference on Learning Representations. https:\/\/openreview.net\/forum?id=HyGIdiRqtm"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-65630-9_13"},{"key":"e_1_3_2_1_8_1","volume-title":"Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers. In International Conference on Learning Representations.","author":"Xu Kaidi","year":"2021","unstructured":"Kaidi Xu, Huan Zhang, Shiqi Wang, Yihan Wang, Suman Jana, Xue Lin, and Cho-Jui Hsieh. 2021. Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers. In International Conference on Learning Representations."},{"key":"e_1_3_2_1_9_1","volume-title":"Flexible RAN Slicing in Open RAN With Constrained Multi-Agent Reinforcement Learning","author":"Zangooei Mohammad","year":"2023","unstructured":"Mohammad Zangooei, Morteza Golkarifard, Mohamed Rouili, Niloy Saha, and Raouf Boutaba. 2023. Flexible RAN Slicing in Open RAN With Constrained Multi-Agent Reinforcement Learning. IEEE Journal on Selected Areas in Communications (2023)."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3805627"}],"event":{"name":"SIGMETRICS '26: ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems","location":"Ann Arbor MI USA","sponsor":["SIGMETRICS ACM Special Interest Group on Measurement and Evaluation"]},"container-title":["Abstracts of the 2026 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems"],"original-title":[],"deposited":{"date-parts":[[2026,5,26]],"date-time":"2026-05-26T14:27:25Z","timestamp":1779805645000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3801489.3806889"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,6,8]]},"references-count":10,"alternative-id":["10.1145\/3801489.3806889","10.1145\/3801489"],"URL":"https:\/\/doi.org\/10.1145\/3801489.3806889","relation":{},"subject":[],"published":{"date-parts":[[2026,6,8]]},"assertion":[{"value":"2026-06-08","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}