@inproceedings{basaran2026veriran,
  author = {Basaran, Osman Tugay and Dressler, Falko},
  note = {to appear},
  title = {{VeriRAN: Explainable and Runtime-Verified Multi-Agent Control for Trustworthy AI-RAN}},
  publisher = {ACM},
  address = {Austin, TX},
  booktitle = {32nd ACM International Conference on Mobile Computing and Networking (MobiCom 2026), 3rd ACM workshop on Open and AI RAN (Open-AI RAN 2026), Poster Session},
  month = {10},
  year = {2026},
}