| 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 | 320 | 2017 |
| Adversarial examples that fool detectors J Lu, H Sibai, E Fabry arXiv preprint arXiv:1712.02494, 2017 | 159 | 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 | 69 | 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 | 37 | 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 | 26 | 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 |
| 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 |
| 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 | 9* | 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 |
| 𝖲𝖼𝖾𝗇𝖾𝖢𝗁𝖾𝖼𝗄𝖾𝗋: 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 |
| 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 |
| Safe Reinforcement Learning for Control Systems: A Hybrid Systems Perspective and Case Study H Sibai, M Potok, S Mitra Technical report, 1-9, 2019 | 5 | 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 68 (12), 7041-7056, 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 2024 IEEE Security and Privacy Workshops (SPW), 57-67, 2024 | 1 | 2024 |
| A Grammar for the Representation of Unmanned Aerial Vehicles with 3D Topologies P Mallozzi, H Sibai, I Incer, SA Seshia, A Sangiovanni-Vincentelli arXiv preprint arXiv:2302.13980, 2023 | 1 | 2023 |
| Symmetry for boosting algorithmic proofs of cyberphysical systems S Mitra, H Sibai Computer 55 (10), 2022 | 1 | 2022 |
Sayan MitraUniversity of Illinois at Urbana ChampaignVerified email at illinois.edu
