Recent Publications

Symmetry in Dynamical Systems and Verification:

H Sibai, N Mokhlesi, C Fan, S Mitra, “Multi-Agent Safety Verification using Symmetry Transformations”. To appear in TACAS 2020. [PDF][tool]

H Sibai, N Mokhlesi, S Mitra, “Using Symmetry Transformations in Equivariant Dynamical Systems for their Safety Verification”. ATVA 2019 [PDF][extended version pdf] (best student paper nominee)

Private Networks Bandwidth Optimization:

H Darir, H Sibai, N Borisov, G Dullerud, S Mitra, “TightRope: Towards Optimal Load-balancing of Paths in Anonymous Networks”.  Proceedings of the 2018 Workshop on Privacy in the Electronic Society, 76-85 [PDF]

State Estimation under Limited Bit Rate Constraints:

  • H. Sibai, S. Mitra, “State Estimation for Dynamical Systems with Unknown Inputs: Entropy and Bit Rates”,  Proceedings of the 21th International Conference on Hybrid Systems: Computation and Control, Porto, Portugal, 2018.
  • H. Sibai, S. Mitra, Poster: Recent Results in State Estimation of Dynamical Systems with Inputs under Bandwidth Constraints. Proceedings of the 21th International Conference on Hybrid Systems: Computation and Control, Porto, Portugal, 2018. (won best poster award)
  • H. Sibai, S. Mitra, “Optimal Bit Rate for State Estimation of Switched Nonlinear Systems”, Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, Pittsburgh, PA, 2017. (best student paper nominee) [PDF]

Adversarial Examples in the Real World:

  • J. Lu*, H. Sibai*, E. Fabry, “Adversarial Examples that Fool Detectors”. [PDF]
  • J. Lu, H. Sibai, E. Fabry, D. Forsyth, “Standard Detectors Aren’t (Currently) Fooled by Physical Adversarial Stop Signs”. [PDF]
  • J. Lu*, H. Sibai*, E. Fabry, D. Forsyth, “NO Need to Worry about Adversarial Examples in Object Detection in Autonomous Vehicles”, CVPR, Negative Results in Computer Vision Workshop, Honolulu, Hawaii, 2017. [PDF]

Paper from my undergraduate studies

  • F. Hariri, G. Daher, H. Sibai, K. Frenn, S. Doniguian, and Z. Dawy, ”Towards a Silent Mobile Sensing Framework for Smart Cities”, World Wireless Research Forum Meeting 30, Oulu, Finland, April 2013.

Verification of Systems with Machine Learning Components:

Preprint: H Sibai*, M Potok*, and S Mitra, “Safe Reinforcement Learning for Control Systems: A Hybrid Systems Perspective and Case Study”.

Multi Objective Reinforcement Learning with Constraints:

Preprint: H Sibai, S Mitra, “Multi-Objective Value Iteration with Parameterized Threshold-Based Safety Constraints”. [PDF]

For more info, check my Google Scholar and  ResearchGate profiles.

*: equal contribution