Hussein Sibai
发表
David A. Forsyth,
Jiajun Lu,
Hussein Sibai,
2017,
ArXiv.
Z. Dawy,
Hussein Sibai,
F. Hariri,
2013
.
Sayan Mitra,
Matthew Potok,
Hussein Sibai,
2019
.
Sayan Mitra,
Hussein Sibai,
Sayan Mitra,
2018
.
Yu Wang,
G. Dullerud,
Sayan Mitra,
2020,
2004.00275.
G. Dullerud,
Yu Wang,
Sayan Mitra,
2020,
IEEE Open Journal of Control Systems.
Jiajun Lu,
Hussein Sibai,
Evan Fabry,
2017,
ArXiv.
Unmanned air-traffic management (UTM): Formalization, a prototype implementation, and performance evaluation
pdf
Sayan Mitra,
Chiao Hsieh,
Hussein Sibai,
2020,
ArXiv.
David A. Forsyth,
Jiajun Lu,
Hussein Sibai,
2017,
ArXiv.
Sayan Mitra,
Hussein Sibai,
Navid Mokhlesi,
2019,
ATVA.
Hussein Sibai,
Junlin Wu,
Yevgeniy Vorobeychik,
2022,
ArXiv.
State Estimation of Open Dynamical Systems with Slow Inputs: Entropy, Bit Rates, and relation with Switched Systems
pdf
Sayan Mitra,
Hussein Sibai,
Hussein Sibai,
2020,
ArXiv.
Sayan Mitra,
Hussein Sibai,
Hussein Sibai,
2018,
HSCC.
Sayan Mitra,
Hussein Sibai,
Hussein Sibai,
2017,
HSCC.
Hussein Sibai,
S. Mitra,
2020,
IEEE Transactions on Automatic Control.
Sayan Mitra,
Hussein Sibai,
Hussein Sibai,
2020,
ArXiv.
Yu Wang,
Geir E. Dullerud,
Sayan Mitra,
2020,
ArXiv.
D. Drusinsky,
Hussein Sibai,
S. Mitra,
2022,
Computer.
Hussein Sibai,
Sayan Mitra,
2023,
IEEE Transactions on Automatic Control.
Chuchu Fan,
Sayan Mitra,
Hussein Sibai,
2019,
TACAS.
Sayan Mitra,
Hussein Sibai,
Yangge Li,
2021,
CAV.
Geir E. Dullerud,
Nikita Borisov,
Sayan Mitra,
2021,
Proc. Priv. Enhancing Technol..
Geir E. Dullerud,
Nikita Borisov,
Sayan Mitra,
2018,
WPES@CCS.
Sayan Mitra,
Chiao Hsieh,
Hussein Sibai,
2020,
2021 IEEE International Intelligent Transportation Systems Conference (ITSC).
SymAR: Symmetry Abstractions and Refinement for Accelerating Scenarios with Neural Network Controllers Verification
pdf
Sayan Mitra,
Hussein Sibai,
Yangge Li,
2020,
ArXiv.
K. Driggs-Campbell,
Hussein Sibai,
Qichao Gao,
2019,
2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC).