Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Sibai, Hussein
45  Ergebnisse:
Personensuche X
?
1

Symmetry-Based Abstraction Algorithm for Accelerating Symbo..:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Sibai, Hussein ; Huriot, Sacha ; Martin, Tyler. - p. 166-185 , 2024
Link: https://doi.org/10.1007/..
 
?
2

Symmetry-Based Abstractions for Hybrid Automata:

Sibai, Hussein ; Mitra, Sayan
IEEE Transactions on Automatic Control.  69 (2024)  5 - p. 3357-3364 , 2024
Link: https://doi.org/10.1109/..
 
?
3

Certifying Safety in Reinforcement Learning under Adversari..:

, In: 2024 IEEE Security and Privacy Workshops (SPW),
Wu, Junlin ; Sibai, Hussein ; Vorobeychik, Yevgeniy - p. 57-67 , 2024
Link: https://doi.org/10.1109/..
 
?
4

Recurrence of Nonlinear Control Systems: Entropy and Bit Ra..:

, In: Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control,
Sibai, Hussein ; Mallada, Enrique - p. 1-9 , 2024
Link: https://dl.acm.org/doi/1..
 
?
5

State Estimation of Continuous-Time Dynamical Systems With ..:

Sibai, Hussein ; Mitra, Sayan
IEEE Transactions on Automatic Control.  68 (2023)  12 - p. 7041-7056 , 2023
Link: https://doi.org/10.1109/..
 
?
6

Differentially Private Algorithms for Statistical Verificat..:

Wang, Yu ; Sibai, Hussein ; Yen, Mark..
IEEE Open Journal of Control Systems.  1 (2022)  - p. 294-305 , 2022
Link: https://doi.org/10.1109/..
 
?
7

Symmetry for Boosting Algorithmic Proofs of Cyberphysical S..:

Mitra, Sayan ; Sibai, Hussein
Computer.  55 (2022)  10 - p. 88-93 , 2022
Link: https://doi.org/10.1109/..
 
?
8

$$\mathsf {SceneChecker}$$: Boosting Scenario Verification ..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Sibai, Hussein ; Li, Yangge ; Mitra, Sayan - p. 580-594 , 2021
Link: https://doi.org/10.1007/..
 
?
9

MLEFlow: Learning from History to Improve Load Balancing in..:

Darir, Hussein ; Sibai, Hussein ; Cheng, Chin-Yu...
Proceedings on Privacy Enhancing Technologies.  2022 (2021)  1 - p. 75-104 , 2021
Link: https://doi.org/10.2478/..
 
?
10

Multi-agent Safety Verification Using Symmetry Transformati..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Sibai, Hussein ; Mokhlesi, Navid ; Fan, Chuchu. - p. 173-190 , 2020
Link: https://doi.org/10.1007/..
 
?
11

Online Monitoring for Safe Pedestrian-Vehicle Interactions:

, In: 2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC),
Du, Peter ; Huang, Zhe ; Liu, Tianqi... - p. 1-8 , 2020
Link: https://doi.org/10.1109/..
 
?
12

Using Symmetry Transformations in Equivariant Dynamical Sys..:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,
Sibai, Hussein ; Mokhlesi, Navid ; Mitra, Sayan - p. 98-114 , 2019
Link: https://doi.org/10.1007/..
 
?
13

Recent Results in State Estimation of Dynamical Systems wit..:

, In: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week),
Sibai, Hussein ; Mitra, Sayan - p. 279-280 , 2018
Link: https://dl.acm.org/doi/1..
 
?
14

State Estimation of Dynamical Systems with Unknown Inputs ..:

, In: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week),
Sibai, Hussein ; Mitra, Sayan - p. 217-226 , 2018
Link: https://dl.acm.org/doi/1..
 
?
15

TightRope : Towards Optimal Load-balancing of Paths in A..:

, In: Proceedings of the 2018 Workshop on Privacy in the Electronic Society,
Darir, Hussein ; Sibai, Hussein ; Borisov, Nikita.. - p. 76-85 , 2018
Link: https://dl.acm.org/doi/1..
 
1-15