7 citations · 14 across the 6 of their papers we have counts for
8 papers
Formal Methods for Autonomous Systems
Tichakorn Wongpiromsarn, Mahsa Ghasemi, Murat Cubuktepe +6
Formal methods refer to rigorous, mathematical approaches to system development and have played a key role in establishing the correctness of safety-critical systems. The main buil…
Privacy-Engineered Value Decomposition Networks for Cooperative Multi-Agent Reinforcement Learning
Parham Gohari, Matthew Hale, Ufuk Topcu
In cooperative multi-agent reinforcement learning (Co-MARL), a team of agents must jointly optimize the team's long-term rewards to learn a designated task. Optimizing rewards as a…
Additive Logistic Mechanism for Privacy-Preserving Self-Supervised Learning
Yunhao Yang, Parham Gohari, Ufuk Topcu
We study the privacy risks that are associated with training a neural network's weights with self-supervised learning algorithms. Through empirical evidence, we show that the fine-…
On the Privacy Risks of Deploying Recurrent Neural Networks in Machine Learning Models
Yunhao Yang, Parham Gohari, Ufuk Topcu
We study the privacy implications of training recurrent neural networks (RNNs) with sensitive training datasets. Considering membership inference attacks (MIAs), which aim to infer…
Privacy-Preserving Kickstarting Deep Reinforcement Learning with Privacy-Aware Learners
Parham Gohari, Bo Chen, Bo Wu +2
Kickstarting deep reinforcement learning algorithms facilitate a teacher-student relationship among the agents and allow for a well-performing teacher to share demonstrations with…
Blending Controllers via Multi-Objective Bandits
Parham Gohari, Franck Djeumou, Abraham P. Vinod +1
Safety and performance are often two competing objectives in sequential decision-making problems. Existing performant controllers, such as controllers derived from reinforcement le…
Privacy-Preserving Policy Synthesis in Markov Decision Processes
Parham Gohari, Matthew Hale, Ufuk Topcu
In decision-making problems, the actions of an agent may reveal sensitive information that drives its decisions. For instance, a corporation's investment decisions may reveal its s…
The Dirichlet Mechanism for Differential Privacy on the Unit Simplex
Parham Gohari, Bo Wu, Matthew Hale +1
As members of a network share more information with each other and network providers, sensitive data leakage raises privacy concerns. To address this need for a class of problems,…