@misc{indiciaed4a9666b5d4f,
  title = {Towards Achieving Energy Efficiency and Service Availability in O-RAN via Formal Verification},
  author = {Roberto Metere and Kangfeng Ye and Yue Gu and Zhi Zhang and Dalal Alrajeh and Michele Sevegnani and Poonam Yadav},
  year = {2024},
  doi = {10.1007/978-3-031-87908-1\_9},
  url = {https://arxiv.org/abs/2411.03943},
  note = {Source identifier: 2411.03943}
}