collaborators

1 paper

cs.NI2024

Towards Achieving Energy Efficiency and Service Availability in O-RAN via Formal Verification

Roberto Metere, Kangfeng Ye, Yue Gu +4

As Open Radio Access Networks (O-RAN) continue to expand, AI-driven applications (xApps) are increasingly being deployed enhance network management. However, developing xApps witho…