Scholar
Majid Zamani
Google Scholar ID: -XDU9ZMAAAAJ
Associate Professor, University of Colorado Boulder
Cyber-physical systems
Hybrid systems
Compositional analysis and synthesis of interconnected systems
Control theory
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
4,270
H-index
34
i10-index
117
Publications
20
Co-authors
55
list available
Contact
CV
Open ↗
Publications
13 items
FoSeRL: Formal Sequential Robustness Certification for Reinforcement Learning Policies
2026
Cited
0
Real-Time Synthesis of Robust Controlled Invariant Sets for Monotone Systems
2026
Cited
0
DBNN: Neural Spike Classification Using a Deep Binarized Neural Network
2026
Cited
0
HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications
2026
Cited
0
Digital Guardians: The Past and The Future of Cyber-Physical Resilience
2026
Cited
0
MetaSort: An Accelerated Approach for Non-uniform Compression and Few-shot Classification of Neural Spike Waveforms
2026
Cited
0
Robustness Certificates for Neural Networks against Adversarial Attacks
2025
Cited
0
Interpolation-Inspired Closure Certificates
IEEE Conference on Decision and Control · 2025
Cited
0
Load more
Co-authors
15 total
Abolfazl Lavaei
Assistant Professor, Newcastle University
Sadegh Soudjani
Professor and Chair in Cyber-Physical Systems | Max Planck Institute | University of Birmingham
Pushpak Jagtap
Assistant Professor, Robert Bosch Center for Cyber-Physical Systems, IISc Bangalore, India
Ashutosh Trivedi
Associate Professor, University of Colorado at Boulder
Alessandro Abate
Professor of Verification and Control, University of Oxford, UK
Marco Caccamo
Professor, Department of Mechanical Engineering, Technical University of Munich (TUM)
Amy Nejati
Assistant Professor, Newcastle University
Abdalla Swikir
Assistant Professor, MBZUAI
