7 citations · 7 across the 2 of their papers we have counts for
2 papers
cs.AI2023★ 7 cited
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…
cs.MA2023
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…