Symmetry for Boosting Algorithmic Proofs of Cyberphysical Systems
Mitra, Sayan, Sibai, Hussein, Drusinsky, Doron
Published in Computer (Long Beach, Calif.) (01.10.2022)
Published in Computer (Long Beach, Calif.) (01.10.2022)
Get full text
Journal Article
MLEFlow: Learning from History to Improve Load Balancing in Tor
Darir, Hussein, Sibai, Hussein, Cheng, Chin-Yu, Borisov, Nikita, Dullerud, Geir, Mitra, Sayan
Published in Proceedings on Privacy Enhancing Technologies (01.01.2022)
Published in Proceedings on Privacy Enhancing Technologies (01.01.2022)
Get full text
Journal Article
Generalized Barrier Functions: Integral Conditions & Recurrent Relaxations
Shen, Yue, Sibai, Hussein, Mallada, Enrique
Published in Allerton Conference on Communication, Control, and Computing : proceedings (24.09.2024)
Published in Allerton Conference on Communication, Control, and Computing : proceedings (24.09.2024)
Get full text
Conference Proceeding
Certifying Safety in Reinforcement Learning under Adversarial Perturbation Attacks
Wu, Junlin, Sibai, Hussein, Vorobeychik, Yevgeniy
Published in 2024 IEEE Security and Privacy Workshops (SPW) (23.05.2024)
Published in 2024 IEEE Security and Privacy Workshops (SPW) (23.05.2024)
Get full text
Conference Proceeding