Optimal Data Rate for State Estimation of Switched Nonlinear Systems. - Hussein Sibai; Sayan Mitra (HSCC, 2017)

NO Need to Worry about Adversarial Examples in Object Detection in Autonomous Vehicles. - Jiajun Lu; Hussein Sibai; Evan Fabry; David A. Forsyth (CoRR, 2017)

Standard detectors aren't (currently) fooled by physical adversarial stop signs. - Jiajun Lu; Hussein Sibai; Evan Fabry; David A. Forsyth (CoRR, 2017)

Adversarial Examples that Fool Detectors. - Jiajun Lu; Hussein Sibai; Evan Fabry (CoRR, 2017)

State Estimation of Dynamical Systems with Unknown Inputs: Entropy and Bit Rates. - Hussein Sibai; Sayan Mitra (HSCC, 2018)

Recent Results in State Estimation of Dynamical Systems with Inputs under Bandwidth Constraints. - Hussein Sibai; Sayan Mitra (HSCC, 2018)

TightRope: Towards Optimal Load-balancing of Paths in Anonymous Networks. - Hussein Darir; Hussein Sibai; Nikita Borisov; Geir E. Dullerud; Sayan Mitra (WPES@CCS, 2018)

Using Symmetry Transformations in Equivariant Dynamical Systems for Their Safety Verification. - Hussein Sibai; Navid Mokhlesi; Sayan Mitra (ATVA, 2019)

Online monitoring for safe pedestrian-vehicle interactions. - Peter Du; Zhe Huang 010; Tianqi Liu; Ke Xu; Qichao Gao; Hussein Sibai; Katherine Rose Driggs-Campbell; Sayan Mitra (CoRR, 2019)

Online Monitoring for Safe Pedestrian-Vehicle Interactions. - Peter Du; Zhe Huang 010; Tianqi Liu; Tianchen Ji; Ke Xu; Qichao Gao; Hussein Sibai; Katherine Rose Driggs-Campbell; Sayan Mitra (ITSC, 2020)

Multi-agent Safety Verification Using Symmetry Transformations. - Hussein Sibai; Navid Mokhlesi; Chuchu Fan; Sayan Mitra (TACAS (1), 2020)

Differential Privacy for Sequential Algorithms. - Yu Wang 044; Hussein Sibai; Sayan Mitra; Geir E. Dullerud (CoRR, 2020)

Symmetry Abstractions for Hybrid Systems and their Applications. - Hussein Sibai; Sayan Mitra (CoRR, 2020)

Unmanned air-traffic management (UTM): Formalization, a prototype implementation, and performance evaluation. - Chiao Hsieh; Hussein Sibai; Hebron Taylor; Sayan Mitra (CoRR, 2020)

State Estimation of Open Dynamical Systems with Slow Inputs: Entropy, Bit Rates, and relation with Switched Systems. - Hussein Sibai; Sayan Mitra (CoRR, 2020)

SymAR: Symmetry Abstractions and Refinement for Accelerating Scenarios with Neural Network Controllers Verification. - Hussein Sibai; Yangge Li; Sayan Mitra (CoRR, 2020)

SceneChecker: Boosting Scenario Verification Using Symmetry Abstractions. - Hussein Sibai; Yangge Li; Sayan Mitra (CAV (1), 2021)

SkyTrakx: A Toolkit for Simulation and Verification of Unmanned Air-Traffic Management Systems. - Chiao Hsieh; Hussein Sibai; Hebron Taylor; Yifeng Ni; Sayan Mitra (ITSC, 2021)

Symmetry for Boosting Algorithmic Proofs of Cyberphysical Systems. - Sayan Mitra; Hussein Sibai (Computer, 2022)

MLEFlow: Learning from History to Improve Load Balancing in Tor. - Hussein Darir; Hussein Sibai; Chin-Yu Cheng; Nikita Borisov; Geir E. Dullerud; Sayan Mitra (Proc. Priv. Enhancing Technol., 2022)

A Grammar for the Representation of Unmanned Aerial Vehicles with 3D Topologies. - Piergiuseppe Mallozzi; Hussein Sibai; Inigo Incer; Sanjit A. Seshia; Alberto L. Sangiovanni-Vincentelli (CoRR, 2023)

State Estimation of Continuous-Time Dynamical Systems With Uncertain Inputs With Bounded Variation: Entropy, Bit Rates, and Relation With Switched Systems. - Hussein Sibai; Sayan Mitra (IEEE Trans. Autom. Control., 2023)

Generalized Barrier Functions: Integral Conditions & Recurrent Relaxations. - Yue Shen; Hussein Sibai; Enrique Mallada (Allerton, 2024)

Recurrence of Nonlinear Control Systems: Entropy and Bit Rates. - Hussein Sibai; Enrique Mallada (HSCC, 2024)

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

Certifying Safety in Reinforcement Learning under Adversarial Perturbation Attacks. - Junlin Wu 001; Hussein Sibai; Yevgeniy Vorobeychik (SP (Workshops), 2024)

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

Pre-Trained Vision Models as Perception Backbones for Safety Filters in Autonomous Driving. - Yuxuan Yang; Hussein Sibai (CoRR, 2024)

Learning Ensembles of Vision-based Safety Control Filters. - Ihab Tabbara; Hussein Sibai (CoRR, 2024)

Symmetry-Based Abstractions for Hybrid Automata. - Hussein Sibai; Sayan Mitra (IEEE Trans. Autom. Control., 2024)

Learning Vision-Based Neural Network Controllers with Semi-Probabilistic Safety Guarantees. - Xinhang Ma; Junlin Wu 001; Hussein Sibai; Yiannis Kantaros; Yevgeniy Vorobeychik (CoRR, 2025)

Learning Neural Control Barrier Functions from Offline Data with Conservatism. - Ihab Tabbara; Hussein Sibai (CoRR, 2025)