Publications
Theses
Accelerating Safety Verification and Control synthesis for Cyber-Physical Systems using Symmetry:
SceneChecker: Boosting Scenario Verification using Symmetry Abstractions [tool] [video_25min] [video_5min]
International Conference on Computer-Aided Verification (CAV), 2021
Hussein Sibai, Yangge Li, and Sayan Mitra
Symmetry-based Abstraction of Hybrid Automata
IEEE Transactions on Automatic Control, 2023 (conditionally accepted)
Hussein Sibai and Sayan Mitra
Multi-Agent Safety Verification using Symmetry Transformations [code]
International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2020
Hussein Sibai, Navid Mokhlesi, Chuchu Fan, and Sayan Mitra
Using Symmetry Transformations in Equivariant Dynamical Systems for their Safety Verification [code]
Automated Technology for Verification and Analysis - 17th International Symposium (ATVA), 2019
Best Paper Award finalist
Hussein Sibai, Navid Mokhlesi, and Sayan Mitra
State Estimation and Control under Limited-Bit-Rate Constraints:
Safety Assurance of Real and Simulated Autonomous Vehicles:
SkyTrakx: A Toolkit for Simulation and Verification of Unmanned Air-Traffic Management Systems
International Conference on Intelligent Transportation Systems (ITSC), 2021
Chiao Hsieh, Hussein Sibai, Hebron Taylor, Yifeng Ni, and Sayan Mitra
Online Monitoring for Safe Pedestrian-Vehicle Interactions
International Conference on Intelligent Transportation Systems (ITSC), 2020
Peter Du, Zhe Huang, Tianqi Liu, Ke Xu, Qichao Gao, Hussein Sibai, Katherine Driggs-Campbell, and Sayan Mitra
Differential Privacy and Private Networks Bandwidth Optimization:
MLEFlow: Learning from History to Improve Load Balancing in Tor
Proceedings on Privacy Enhancing Technologies (PETS), 2022
Hussein Darir, Hussein Sibai, Chin-Yu Cheng, Nikita Borisov, Geir Dullerud, and Sayan Mitra
TightRope: Towards Optimal Load-balancing of Paths in Anonymous Networks
Workshop on Privacy in the Electronic Society (WPES), 2018
Hussein Darir, Hussein Sibai, Nikita Borisov, Geir Dullerud, and Sayan Mitra
Adversarial Examples in the Real World:
Adversarial Examples that Fool Detectors
Arxiv, 2017
Jiajun Lu*, Hussein Sibai*, Evan Fabry
Standard Detectors Aren’t (Currently) Fooled by Physical Adversarial Stop Signs
Arxiv, 2017
Jiajun Lu, Hussein Sibai, Evan Fabry, and David Forsyth
NO Need to Worry about Adversarial Examples in Object Detection in Autonomous Vehicles
Spotlight talk at the Negative Results in Computer Vision at the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), 2017
Jiajun Lu*, Hussein Sibai*, Evan Fabry, and David Forsyth
Miscellaneous projects:
A Grammar for the Representation of Unmanned Aerial Vehicles with 3D Topologies, 2023
Piergiuseppe Mallozzi, Hussein Sibai, Inigo Incer, Sanjit A. Seshia, Alberto Sangiovanni-Vincentelli
preprint arXiv:2212.14115 Certifying Safety in Reinforcement Learning
under Adversarial Perturbation Attacks, 2022
Junlin Wu, Hussein Sibai, Yevgeniy Vorobeychik
Safe Reinforcement Learning for Control Systems: A Hybrid
Systems Perspective and Case Study, 2018
Hussein Sibai*, Matthew Potok*, and Sayan Mitra
Multi-Objective Value Iteration with Parameterized Threshold-Based Safety Constraints, 2018
Hussein Sibai and Sayan Mitra
Towards a Silent Mobile Sensing Framework for Smart Cities
World Wireless Research Forum Meeting, 2013
Farah Hariri, Guy Daher, Hussein Sibai, Karim Frenn, Sevag Doniguian, and Zaher Dawy
-
|