most citedModel-Agnostic Reachability Analysis on Deep Neural Networks

2 citations · 2 across the 5 of their papers we have counts for

collaborators

5 papers

eess.SP2025

Spectral Efficiency-Aware Codebook Design for Task-Oriented Semantic Communications

Anbang Zhang, Shuaishuai Guo, Chenyuan Feng +3

Digital task-oriented semantic communication (ToSC) aims to transmit only task-relevant information, significantly reducing communication overhead. Existing ToSC methods typically…

cs.NI2025

Mobility-aware Seamless Service Migration and Resource Allocation in Multi-edge IoV Systems

Zheyi Chen, Sijin Huang, Geyong Min +3

Mobile Edge Computing (MEC) offers low-latency and high-bandwidth support for Internet-of-Vehicles (IoV) applications. However, due to high vehicle mobility and finite communicatio…

cs.NI2023

Battery-Care Resource Allocation and Task Offloading in Multi-Agent Post-Disaster MEC Environment

Yiwei Tang, Hualong Huang, Wenhan Zhan +3

Being an up-and-coming application scenario of mobile edge computing (MEC), the post-disaster rescue suffers multitudinous computing-intensive tasks but unstably guaranteed network…

cs.LG2023

Faster Federated Learning with Decaying Number of Local SGD Steps

Jed Mills, Jia Hu, Geyong Min

In Federated Learning (FL) client devices connected over the internet collaboratively train a machine learning model without sharing their private data with a central server or wit…

cs.LG2023★ 2 cited

Model-Agnostic Reachability Analysis on Deep Neural Networks

Chi Zhang, Wenjie Ruan, Fu Wang +3

Verification plays an essential role in the formal analysis of safety-critical systems. Most current verification methods have specific requirements when working on Deep Neural Net…