8 papers
Intent-Driven 6G Service Orchestration: Grounded Translation, Validation, and Decomposition
Jean Martins, Leonid Mokrushin, Marin Orlic +1
Intent-based automation for 6G envisions networks steered by high-level goals rather than low-level configurations. Existing LLM-based approaches translate natural language into pl…
Dynamic Authorization for Knowledge-Base Agents in 6G
Loay Abdelrazek, Leyli Karacay, Marin Orlic
As 6G architectures transition toward decentralized Multi-Agent Systems (MAS), ensuring secure access to shared Knowledge Bases (KB) is critical. Traditional authorization models l…
TIO-SHACL: Comprehensive SHACL validation for TMF Intent Ontologies
Jean Martins, Leonid Mokrushin, Marin Orlic
Intent-based networking promises to revolutionize telecommunications network management by enabling operators to specify high-level goals rather than low-level configurations. The…
Authorization of Knowledge-base Agents in an Intent-based Management Function
Loay Abdelrazek, Leyli Karaçay, Marin Orlic
As networks move toward the next-generation 6G, Intent-based Management (IbM) systems are increasingly adopted to simplify and automate network management by translating high-level…
A Survey on the Integration of Generative AI for Critical Thinking in Mobile Networks
Athanasios Karapantelakis, Alexandros Nikou, Ajay Kattepur +5
In the near future, mobile networks are expected to broaden their services and coverage to accommodate a larger user base and diverse user needs. Thus, they will increasingly rely…
Safe RAN control: A Symbolic Reinforcement Learning Approach
Alexandros Nikou, Anusha Mujumdar, Vaishnavi Sundararajan +2
In this paper, we present a Symbolic Reinforcement Learning (SRL) based architecture for safety control of Radio Access Network (RAN) applications. In particular, we provide a pure…
Symbolic Reinforcement Learning for Safe RAN Control
Alexandros Nikou, Anusha Mujumdar, Marin Orlic +1
In this paper, we demonstrate a Symbolic Reinforcement Learning (SRL) architecture for safe control in Radio Access Network (RAN) applications. In our automated tool, a user can se…
Existential Assertions for Voting Protocols
R. Ramanujam, Vaishnavi Sundararajan, S. P. Suresh
In earlier work, we extend the Dolev-Yao model with assertions. We build on that work and add existential abstraction to the language, which allows us to translate common construct…