Scholar
Adnane Saoud
Google Scholar ID: vezWFn4AAAAJ
University of California, Berkeley
Cyber-physical systems
Control theory
Compositional analysis and synthesis of interconnected systems
Formal methods
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
575
H-index
15
i10-index
15
Publications
20
Co-authors
25
list available
Publications
5 items
S-GBT: Smooth Growth Bound Tensor for Certified Robustness Against Word Substitution Attacks in NLP
2026
Cited
0
Safety by Invariance, Liveness through Refinement: Heterogeneous Contract Framework for Co-Design of Layered Control
2026
Cited
0
Computation of Feasible Assume-Guarantee Contracts: A Resilience-based Approach
2025
Cited
0
Bridging Robustness and Generalization Against Word Substitution Attacks in NLP via the Growth Bound Matrix Approach
2025
Cited
0
Controller Synthesis of Collaborative Signal Temporal Logic Tasks for Multi-Agent Systems via Assume-Guarantee Contracts
arXiv.org · 2023
Cited
0
Co-authors
7 total
Antoine Girard
Senior Researcher, L2S, CNRS
Pushpak Jagtap
Assistant Professor, Robert Bosch Center for Cyber-Physical Systems, IISc Bangalore, India
Dimos Dimarogonas
KTH Royal Institute of Technology
Ricardo G. Sanfelice
Professor of Electrical and Computer Engineering, University of California, Santa Cruz
Majid Zamani
Associate Professor, University of Colorado Boulder
Sadegh Soudjani
Professor and Chair in Cyber-Physical Systems | Max Planck Institute | University of Birmingham
Abdalla Swikir
Assistant Professor, MBZUAI
