7 citations · 19 across the 11 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2025
Compositional shield synthesis for safe reinforcement learning in partial observability
Steven Carr, Georgios Bakirtzis, Ufuk Topcu
Agents controlled by the output of reinforcement learning (RL) algorithms often transition to unsafe states, particularly in uncertain and partially observable environments. Partia…
eess.SY2020★ 2 cited
Byzantine-Resilient Distributed Hypothesis Testing With Time-Varying Network Topology
Bo Wu, Steven Carr, Suda Bharadwaj +2
We study the problem of distributed hypothesis testing over a network of mobile agents with limited communication and sensing ranges to infer the true hypothesis collaboratively. I…