7 citations · 10 across the 4 of their papers we have counts for
4 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…
Simulator-Driven Deceptive Control via Path Integral Approach
Apurva Patil, Mustafa O. Karabag, Takashi Tanaka +1
We consider a setting where a supervisor delegates an agent to perform a certain control task, while the agent is incentivized to deviate from the given policy to achieve its own g…
On the Sample Complexity of Vanilla Model-Based Offline Reinforcement Learning with Dependent Samples
Mustafa O. Karabag, Ufuk Topcu
Offline reinforcement learning (offline RL) considers problems where learning is performed using only previously collected samples and is helpful for the settings in which collecti…
Differential Privacy in Cooperative Multiagent Planning
Bo Chen, Calvin Hawkins, Mustafa O. Karabag +3
Privacy-aware multiagent systems must protect agents' sensitive data while simultaneously ensuring that agents accomplish their shared objectives. Towards this goal, we propose a f…