Hussein Sibai - RankMe

41 papers A* 2B 1Journal 26Unranked 12

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	Learning Vision-Based Neural Network Controllers with Semi-Probabilistic Safety Guarantees. AAAI Xinhang Ma, Junlin Wu, Hussein Sibai, Yiannis Kantaros, Yevgeniy Vorobeychik
2025	J	`jnl`	Designing Latent Safety Filters using Pre-Trained Vision Models. CoRR Ihab Tabbara, Yuxuan Yang, Ahmad Hamzeh, Maxwell Astafyev, Hussein Sibai
2025	J	`jnl`	Learning Neural Control Barrier Functions from Expert Demonstrations using Inverse Constraint Learning. CoRR Yuxuan Yang, Hussein Sibai
2025	J	`jnl`	Learning Neural Control Barrier Functions from Offline Data with Conservatism. CoRR Ihab Tabbara, Hussein Sibai
2025	J	`jnl`	Learning Vision-Based Neural Network Controllers with Semi-Probabilistic Safety Guarantees. CoRR Xinhang Ma, Junlin Wu, Hussein Sibai, Yiannis Kantaros, Yevgeniy Vorobeychik
2025	A*	`conf`	Safe Decentralized Multi-Agent Control using Black-Box Predictors, Conformal Decision Policies, and Control Barrier Functions. ICRA Sacha Huriot, Hussein Sibai
2025	J	`jnl`	Statistically Assuring Safety of Control Systems using Ensembles of Safety Filters and Conformal Prediction. CoRR Ihab Tabbara, Yuxuan Yang, Hussein Sibai
2024	—	`conf`	Certifying Safety in Reinforcement Learning under Adversarial Perturbation Attacks. SP (Workshops) Junlin Wu, Hussein Sibai, Yevgeniy Vorobeychik
2024	—	`conf`	Generalized Barrier Functions: Integral Conditions & Recurrent Relaxations. Allerton Yue Shen, Hussein Sibai, Enrique Mallada
2024	J	`jnl`	Learning Ensembles of Vision-based Safety Control Filters. CoRR Ihab Tabbara, Hussein Sibai
2024	J	`jnl`	Pre-Trained Vision Models as Perception Backbones for Safety Filters in Autonomous Driving. CoRR Yuxuan Yang, Hussein Sibai
2024	—	`conf`	Recurrence of Nonlinear Control Systems: Entropy and Bit Rates. HSCC Hussein Sibai, Enrique Mallada
2024	J	`jnl`	Safe Decentralized Multi-Agent Control using Black-Box Predictors, Conformal Decision Policies, and Control Barrier Functions. CoRR Sacha Huriot, Hussein Sibai
2024	—	`conf`	Symmetry-Based Abstraction Algorithm for Accelerating Symbolic Control Synthesis. NFM Hussein Sibai, Sacha Huriot, Tyler Martin, Murat Arcak
2024	J	`jnl`	Symmetry-Based Abstractions for Hybrid Automata. IEEE Trans. Autom. Control. Hussein Sibai, Sayan Mitra
2024	J	`jnl`	Symmetry-based Abstraction Algorithm for Accelerating Symbolic Control Synthesis. CoRR Hussein Sibai, Sacha Huriot, Tyler Martin, Murat Arcak
2023	J	`jnl`	A Grammar for the Representation of Unmanned Aerial Vehicles with 3D Topologies. CoRR Piergiuseppe Mallozzi, Hussein Sibai, Inigo Incer, Sanjit A. Seshia, Alberto L. Sangiovanni-Vincentelli
2023	J	`jnl`	Recurrence of Nonlinear Control Systems: Entropy and Bit Rates. CoRR Hussein Sibai, Enrique Mallada
2023	J	`jnl`	State Estimation of Continuous-Time Dynamical Systems With Uncertain Inputs With Bounded Variation: Entropy, Bit Rates, and Relation With Switched Systems. IEEE Trans. Autom. Control. Hussein Sibai, Sayan Mitra
2022	J	`jnl`	Certifying Safety in Reinforcement Learning under Adversarial Perturbation Attacks. CoRR Junlin Wu, Hussein Sibai, Yevgeniy Vorobeychik
2022	J	`jnl`	MLEFlow: Learning from History to Improve Load Balancing in Tor. Proc. Priv. Enhancing Technol. Hussein Darir, Hussein Sibai, Chin-Yu Cheng, Nikita Borisov, Geir E. Dullerud, Sayan Mitra
2022	J	`jnl`	Symmetry for Boosting Algorithmic Proofs of Cyberphysical Systems. Computer Sayan Mitra, Hussein Sibai
2021	—	`conf`	SceneChecker: Boosting Scenario Verification Using Symmetry Abstractions. CAV (1) Hussein Sibai, Yangge Li, Sayan Mitra
2021	—	`conf`	SkyTrakx: A Toolkit for Simulation and Verification of Unmanned Air-Traffic Management Systems. ITSC Chiao Hsieh, Hussein Sibai, Hebron Taylor, Yifeng Ni, Sayan Mitra
2020	J	`jnl`	Differential Privacy for Sequential Algorithms. CoRR Yu Wang, Hussein Sibai, Sayan Mitra, Geir E. Dullerud
2020	—	`conf`	Multi-agent Safety Verification Using Symmetry Transformations. TACAS (1) Hussein Sibai, Navid Mokhlesi, Chuchu Fan, Sayan Mitra
2020	—	`conf`	Online Monitoring for Safe Pedestrian-Vehicle Interactions. ITSC Peter Du, Zhe Huang, Tianqi Liu, Tianchen Ji, Ke Xu, Qichao Gao, Hussein Sibai, Katherine Rose Driggs-Campbell, Sayan Mitra
2020	J	`jnl`	State Estimation of Open Dynamical Systems with Slow Inputs: Entropy, Bit Rates, and relation with Switched Systems. CoRR Hussein Sibai, Sayan Mitra
2020	J	`jnl`	SymAR: Symmetry Abstractions and Refinement for Accelerating Scenarios with Neural Network Controllers Verification. CoRR Hussein Sibai, Yangge Li, Sayan Mitra
2020	J	`jnl`	Symmetry Abstractions for Hybrid Systems and their Applications. CoRR Hussein Sibai, Sayan Mitra
2020	J	`jnl`	Unmanned air-traffic management (UTM): Formalization, a prototype implementation, and performance evaluation. CoRR Chiao Hsieh, Hussein Sibai, Hebron Taylor, Sayan Mitra
2019	J	`jnl`	Multi-Agent Safety Verification using Symmetry Transformations. CoRR Hussein Sibai, Navid Mokhlesi, Chuchu Fan, Sayan Mitra
2019	J	`jnl`	Online monitoring for safe pedestrian-vehicle interactions. CoRR Peter Du, Zhe Huang, Tianqi Liu, Ke Xu, Qichao Gao, Hussein Sibai, Katherine Rose Driggs-Campbell, Sayan Mitra
2019	B	`conf`	Using Symmetry Transformations in Equivariant Dynamical Systems for Their Safety Verification. ATVA Hussein Sibai, Navid Mokhlesi, Sayan Mitra
2018	—	`conf`	Recent Results in State Estimation of Dynamical Systems with Inputs under Bandwidth Constraints. HSCC Hussein Sibai, Sayan Mitra
2018	—	`conf`	State Estimation of Dynamical Systems with Unknown Inputs: Entropy and Bit Rates. HSCC Hussein Sibai, Sayan Mitra
2018	—	`conf`	TightRope: Towards Optimal Load-balancing of Paths in Anonymous Networks. WPES@CCS Hussein Darir, Hussein Sibai, Nikita Borisov, Geir E. Dullerud, Sayan Mitra
2017	J	`jnl`	Adversarial Examples that Fool Detectors. CoRR Jiajun Lu, Hussein Sibai, Evan Fabry
2017	J	`jnl`	NO Need to Worry about Adversarial Examples in Object Detection in Autonomous Vehicles. CoRR Jiajun Lu, Hussein Sibai, Evan Fabry, David A. Forsyth
2017	—	`conf`	Optimal Data Rate for State Estimation of Switched Nonlinear Systems. HSCC Hussein Sibai, Sayan Mitra
2017	J	`jnl`	Standard detectors aren't (currently) fooled by physical adversarial stop signs. CoRR Jiajun Lu, Hussein Sibai, Evan Fabry, David A. Forsyth