Majid Zamani
Scholar

Majid Zamani

Google Scholar ID: -XDU9ZMAAAAJ
Associate Professor, University of Colorado Boulder
Cyber-physical systemsHybrid systemsCompositional analysis and synthesis of interconnected systemsControl theory
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
4,270
 
H-index
34
 
i10-index
117
 
Publications
20
 
Co-authors
55
list available
Contact
CVOpen ↗
Publications
8 items
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
Physics-Informed Reward Machines
2025
Cited
0
Control Closure Certificates
2025
Cited
0
Data-Driven Safety Verification using Barrier Certificates and Matrix Zonotopes
2025
Cited
0
On the Completeness and Ordering of Path-Complete Barrier Functions
2025
Cited
0
Data-driven Construction of Finite Abstractions for Interconnected Systems: A Compositional Approach
arXiv.org · 2024
Cited
2
Resume (English only)
Co-authors
55 total
Abolfazl Lavaei
Abolfazl Lavaei
Assistant Professor, Newcastle University
Sadegh Soudjani
Sadegh Soudjani
Professor and Chair in Cyber-Physical Systems | Max Planck Institute | University of Birmingham
Pushpak Jagtap
Pushpak Jagtap
Assistant Professor, Robert Bosch Center for Cyber-Physical Systems, IISc Bangalore, India
Ashutosh Trivedi
Ashutosh Trivedi
Associate Professor, University of Colorado at Boulder
Alessandro Abate
Alessandro Abate
Professor of Verification and Control, University of Oxford, UK
Co-author 6
Co-author 6
Marco Caccamo
Marco Caccamo
Professor, Department of Mechanical Engineering, Technical University of Munich (TUM)
Amy Nejati
Amy Nejati
Assistant Professor, Newcastle University