Symmetry-Based Abstraction Algorithm for Accelerating Symbolic Control Synthesis. - Hussein Sibai; Sacha Huriot; Tyler Martin; Murat Arcak (NFM, 2024)

Safe Decentralized Multi-Agent Control using Black-Box Predictors, Conformal Decision Policies, and Control Barrier Functions. - Sacha Huriot; Hussein Sibai (CoRR, 2024)