2 papers
cs.AI2021
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…
cs.CR2017
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…