28 citations · 35 across the 4 of their papers we have counts for
6 papers
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…
Distributed Learning in Wireless Networks: Recent Progress and Future Challenges
Mingzhe Chen, Deniz Gündüz, Kaibin Huang +4
The next-generation of wireless networks will enable many machine learning (ML) tools and applications to efficiently analyze various types of data collected by edge devices for in…
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…
Machine Reasoning Explainability
Kristijonas Cyras, Ramamurthy Badrinath, Swarup Kumar Mohalik +5
As a field of AI, Machine Reasoning (MR) uses largely symbolic means to formalize and emulate abstract reasoning. Studies in early MR have notably started inquiries into Explainabl…
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…
A Framework for Knowledge Management and Automated Reasoning Applied on Intelligent Transport Systems
Aneta Vulgarakis Feljan, Athanasios Karapantelakis, Leonid Mokrushin +6
Cyber-Physical Systems in general, and Intelligent Transport Systems (ITS) in particular use heterogeneous data sources combined with problem solving expertise in order to make cri…