| 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 | 347 | 2017 |
| Adversarial examples that fool detectors J Lu, H Sibai, E Fabry arXiv preprint arXiv:1712.02494, 2017 | 186 | 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 | 70 | 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 | 36 | 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 | 32 | 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 | 22 | 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 |
| 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 | 14* | 2021 |
| 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 | 13 | 2018 |
| 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 | 10* | 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 | 10 | 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 | 9 | 2022 |
| 𝖲𝖼𝖾𝗇𝖾𝖢𝗁𝖾𝖼𝗄𝖾𝗋: Boosting Scenario Verification Using Symmetry Abstractions H Sibai, Y Li, S Mitra Computer Aided Verification. CAV 2021. Lecture Notes in Computer Science …, 2021 | 7* | 2021 |
| Symmetry-based abstractions for hybrid automata H Sibai, S Mitra IEEE Transactions on Automatic Control 69 (5), 3357-3364, 2023 | 5* | 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 68 (12), 7041-7056, 2023 | 5* | 2023 |
| Safe Reinforcement Learning for Control Systems: A Hybrid Systems Perspective and Case Study H Sibai, M Potok, S Mitra Technical report, 1-9, 2019 | 4 | 2019 |
| Learning Ensembles of Vision-based Safety Control Filters I Tabbara, H Sibai arXiv preprint arXiv:2412.02029, 2024 | 2 | 2024 |
| Certifying Safety in Reinforcement Learning under Adversarial Perturbation Attacks J Wu, H Sibai, Y Vorobeychik 2024 IEEE Security and Privacy Workshops (SPW), 57-67, 2024 | 2 | 2024 |
| Recurrence of nonlinear control systems: Entropy and bit rates H Sibai, E Mallada Proceedings of the 27th ACM International Conference on Hybrid Systems …, 2024 | 2 | 2024 |
| 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 |
Sayan MitraProfessor, ECE, University of Illinois at Urbana ChampaignVerified email at illinois.edu
