Poster: VeriRAN: Explainable and Runtime-Verified Multi-Agent Control for Trustworthy AI-RAN
VeriRAN is a lightweight runtime-verified AI-RAN control architecture that separates intelligence from authorization, and uses AI agents as intelligent action proposers that generate radio-aware and service-level-agreement (SLA)-aware decisions.
Osman Tugay Başaran, Falko Dressler
· Proceedings of the 3rd ACM W... · 0 citations