Follow
Hussein Sibai
Title
Cited by
Cited by
Year
No need to worry about adversarial examples in object detection in autonomous vehicles
J Lu, H Sibai, E Fabry, D Forsyth
arXiv preprint arXiv:1707.03501, 2017
3132017
Adversarial examples that fool detectors
J Lu, H Sibai, E Fabry
arXiv preprint arXiv:1712.02494, 2017
1512017
Standard detectors aren't (currently) fooled by physical adversarial stop signs
J Lu, H Sibai, E Fabry, D Forsyth
arXiv preprint arXiv:1710.03337, 2017
682017
Optimal data rate for state estimation of switched nonlinear systems
H Sibai, S Mitra
Proceedings of the 20th International Conference on Hybrid Systems …, 2017
382017
Online monitoring for safe pedestrian-vehicle interactions
P Du, Z Huang, T Liu, T Ji, K Xu, Q Gao, H Sibai, K Driggs-Campbell, ...
2020 IEEE 23rd International Conference on Intelligent Transportation …, 2020
232020
Multi-Agent Safety Verification using Symmetry Transformations
H Sibai, N Mokhlesi, C Fan, S Mitra
International Conference on Tools and Algorithms for the Construction and …, 2020
192020
Using symmetry transformations in equivariant dynamical systems for their safety verification
H Sibai, N Mokhlesi, S Mitra
Automated Technology for Verification and Analysis: 17th International …, 2019
152019
State estimation of dynamical systems with unknown inputs: entropy and bit rates
H Sibai, S Mitra
Proceedings of the 21st International Conference on Hybrid Systems …, 2018
142018
Skytrakx: A toolkit for simulation and verification of unmanned air-traffic management systems
C Hsieh, H Sibai, H Taylor, Y Ni, S Mitra
2021 IEEE International Intelligent Transportation Systems Conference (ITSC …, 2021
13*2021
Differentially private algorithms for statistical verification of cyber-physical systems
Y Wang, H Sibai, M Yen, S Mitra, GE Dullerud
IEEE Open Journal of Control Systems 1, 294-305, 2022
8*2022
Tightrope: Towards optimal load-balancing of paths in anonymous networks
H Darir, H Sibai, N Borisov, G Dullerud, S Mitra
Proceedings of the 2018 Workshop on Privacy in the Electronic Society, 76-85, 2018
82018
MLEFlow: Learning from History to Improve Load Balancing in Tor
H Darir, H Sibai, CY Cheng, N Borisov, G Dullerud, S Mitra
Proceedings on Privacy Enhancing Technologies 2022 (1), 75-104, 2022
62022
𝖲𝖼𝖾𝗇𝖾𝖢𝗁𝖾𝖼𝗄𝖾𝗋: Boosting Scenario Verification Using Symmetry Abstractions
H Sibai, Y Li, S Mitra
Computer Aided Verification. CAV 2021. Lecture Notes in Computer Science …, 2021
6*2021
Safe Reinforcement Learning for Control Systems: A Hybrid Systems Perspective and Case Study
H Sibai, M Potok, S Mitra
Technical report, 1-9, 2019
52019
Symmetry-based Abstractions for Hybrid Automata
H Sibai, S Mitra
IEEE Transactions on Automatic Control, 2023
4*2023
State Estimation of Continuous-time Dynamical Systems with Uncertain Inputs with Bounded Variation: Entropy, Bit Rates, and Relation with Switched Systems
H Sibai, S Mitra
IEEE Transactions on Automatic Control, 2023
3*2023
Towards a silent mobile sensing framework for smart cities
F Hariri, G Daher, H Sibai, K Frenn, S Doniguian, Z Dawy
Wireless World Research Forum (WWRF 30), 2013
22013
Certifying Safety in Reinforcement Learning under Adversarial Perturbation Attacks
J Wu, H Sibai, Y Vorobeychik
arXiv preprint arXiv:2212.14115, 2022
12022
Symmetry for Boosting Algorithmic Proofs of Cyberphysical Systems
S Mitra, H Sibai
Computer 55 (10), 88-93, 2022
12022
Symmetry-based Abstraction Algorithm for Accelerating Symbolic Control Synthesis
H Sibai, S Huriot, T Martin, M Arcak
arXiv preprint arXiv:2403.11816, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–20