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 | 317 | 2017 |
Adversarial examples that fool detectors J Lu, H Sibai, E Fabry arXiv preprint arXiv:1712.02494, 2017 | 151 | 2017 |
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 | 68 | 2017 |
Optimal data rate for state estimation of switched nonlinear systems H Sibai, S Mitra Proceedings of the 20th International Conference on Hybrid Systems …, 2017 | 38 | 2017 |
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 | 24 | 2020 |
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 | 19 | 2020 |
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 | 15 | 2019 |
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 | 14 | 2018 |
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 | 8 | 2018 |
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 | 6 | 2022 |
𝖲𝖼𝖾𝗇𝖾𝖢𝗁𝖾𝖼𝗄𝖾𝗋: 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 | 6 | 2019 |
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 | 4* | 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 | 2 | 2013 |
Certifying Safety in Reinforcement Learning under Adversarial Perturbation Attacks J Wu, H Sibai, Y Vorobeychik arXiv preprint arXiv:2212.14115, 2022 | 1 | 2022 |
Symmetry for Boosting Algorithmic Proofs of Cyberphysical Systems S Mitra, H Sibai Computer 55 (10), 88-93, 2022 | 1 | 2022 |
Symmetry-based Abstraction Algorithm for Accelerating Symbolic Control Synthesis H Sibai, S Huriot, T Martin, M Arcak arXiv preprint arXiv:2403.11816, 2024 | | 2024 |