27 citations · 94 across the 13 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
eess.SY2023
POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems
Yixuan Wang, Weichao Zhou, Jiameng Fan +6
Neural networks (NNs) playing the role of controllers have demonstrated impressive empirical performances on challenging control problems. However, the potential adoption of NN con…
cs.RO2023★ 1 cited
Byzantine Resilience at Swarm Scale: A Decentralized Blocklist Protocol from Inter-robot Accusations
Kacper Wardega, Max von Hippel, Roberto Tron +2
The Weighted-Mean Subsequence Reduced (W-MSR) algorithm, the state-of-the-art method for Byzantine-resilient design of decentralized multi-robot systems, is based on discarding out…