{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,23]],"date-time":"2025-10-23T17:14:36Z","timestamp":1761239676155,"version":"build-2065373602"},"publisher-location":"New York, NY, USA","reference-count":2,"publisher":"ACM","funder":[{"name":"Defense Advanced Research Projects"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,10,27]]},"DOI":"10.1145\/3704413.3765300","type":"proceedings-article","created":{"date-parts":[[2025,10,23]],"date-time":"2025-10-23T17:08:23Z","timestamp":1761239303000},"page":"507-508","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Validating Safety Guarantees of LSTM Models in MR Context"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3665-2687","authenticated-orcid":false,"given":"Kaiming","family":"Huang","sequence":"first","affiliation":[{"name":"The Pennsylvania State University, State College, Pennsylvania, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7117-3804","authenticated-orcid":false,"given":"Peng","family":"Wu","sequence":"additional","affiliation":[{"name":"Northeastern University, Boston, Massachusetts, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9570-9909","authenticated-orcid":false,"given":"Mahdi","family":"Imani","sequence":"additional","affiliation":[{"name":"Northeastern University, Boston, Massachusetts, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3010-8090","authenticated-orcid":false,"given":"Tian","family":"Lan","sequence":"additional","affiliation":[{"name":"George Washington University, Washington, D.C., USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6109-6091","authenticated-orcid":false,"given":"Gang","family":"Tan","sequence":"additional","affiliation":[{"name":"The Pennsylvania State University, State College, Pennsylvania, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,10,23]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Scalable Polyhedral Verification of Recurrent Neural Networks. In Computer Aided Verification: 33rd International Conference, CAV 2021. Springer-Verlag","author":"Ryou Wonryong","year":"2021","unstructured":"Wonryong Ryou, Jiayu Chen, Mislav Balunovic, Gagandeep Singh, Andrei Dan, and Martin Vechev. 2021. Scalable Polyhedral Verification of Recurrent Neural Networks. In Computer Aided Verification: 33rd International Conference, CAV 2021. Springer-Verlag, Berlin, Heidelberg, 225\u2013248."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290354"}],"event":{"name":"MobiHoc '25: Twenty-sixth International Symposium on Theory, Algorithmic Foundations, and Protocol Design for Mobile Networks and Mobile Computing","location":"Rice University Houston TX USA","acronym":"MobiHoc '25","sponsor":["SIGMOBILE ACM Special Interest Group on Mobility of Systems, Users, Data and Computing"]},"container-title":["Proceedings of the Twenty-sixth International Symposium on Theory, Algorithmic Foundations, and Protocol Design for Mobile Networks and Mobile Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3704413.3765300","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,23]],"date-time":"2025-10-23T17:10:09Z","timestamp":1761239409000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3704413.3765300"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,23]]},"references-count":2,"alternative-id":["10.1145\/3704413.3765300","10.1145\/3704413"],"URL":"https:\/\/doi.org\/10.1145\/3704413.3765300","relation":{},"subject":[],"published":{"date-parts":[[2025,10,23]]},"assertion":[{"value":"2025-10-23","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}