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

This is a preprint and may not have undergone formal peer review

Metere, Roberto orcid.org/0000-0001-6992-4285, Ye, Kangfeng, Gu, Yue et al. (4 more authors) (2024) Towards Achieving Energy Efficiency and Service Availability in O-RAN via Formal Verification. [Preprint]

Abstract

Metadata

Item Type: Preprint
Authors/Creators:
Copyright, Publisher and Additional Information:

22 pages, 9 figures, 2 tables

Keywords: cs.NI
Dates:
  • Published: 6 November 2024
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 13 Mar 2025 05:37
Last Modified: 29 Mar 2025 00:12
Status: Published
Publisher: arXiv
Open Archives Initiative ID (OAI ID):

Download

Filename: 2411.03943v1.pdf

Description: 2411.03943v1

Export

Statistics