4 citations · 7 across the 14 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.NI2024★ 1 cited
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…
cs.FL2024
-regular Expression Synthesis from Transition-Based Büchi Automata
Charles Pert, Dalal Alrajeh, Alessandra Russo
A popular method for modelling reactive systems is to use -regular languages. These languages can be represented as nondeterministic Büchi automata (NBAs) or -regular express…