Majid Zamani

Professor

University of Colorado Boulder

United States

Research Interests

Explore related searches

Professors in United States

Contact this professor

Get a free first email built on one of their papers, ready for you to edit and send yourself.

About

Majid Zamani is a Professor at the University of Colorado Boulder in the United States. His research primarily focuses on control systems, including topics such as stochastic control, verification of dynamical systems, and the synthesis of controllers. He has contributed to recent literature with articles on Gaussian processes, barrier certificates, and data-driven methodologies in control systems.

Articles (21)

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2024

Year:

2024

Year:

2024

Year:

2024

Year:

2023

Year:

2023

Year:

2023

Year:

2023

Year:

2023

Year:

2023

Year:

2023

Year:

2023

Year:

2023

Year:

2023

Year:

2023

Year:

2023

Collaborators (5)

FABIO SOMENZI

University of Colorado Boulder

UNITED STATES

View details

Siyuan Liu

KTH Royal Institute of Technology

SWEDEN

View details

ashutosh trivedi

University of Colorado Boulder

UNITED STATES

View details

Saber Jafarpour

University of Ottawa

CANADA

View details

Abolfazl Lavaei

Assistant Professor

Newcastle University

UNITED KINGDOM

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Majid Zamani

Research Interests

Explore related searches

Contact this professor

About

Articles (21)

Reduced-Order Gaussian Processes for Partially Unknown Nonlinear Control Systems

Technical Committee on Hybrid Systems [Technical Activities]

On Approximate Opacity of Stochastic Control Systems

Secure-by-Construction Synthesis for Control Systems

Neural Barrier Certificates for Monotone Systems

Compositional Verification for Large-Scale Systems via Closure Certificates

Data-Driven Controller Synthesis via Co-Büchi Barrier Certificates With Formal Guarantees

Verification of Hyperproperties for Dynamical Systems via Barrier Certificates

Co-Büchi Control Barrier Certificates for Stochastic Control Systems

Restructuring Dynamical Systems for Inductive Verification

A Framework for Output-Feedback Symbolic Control

Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach

A Lyapunov-Based ISS Small-Gain Theorem for Infinite Networks of Nonlinear Systems

Compositional Construction of Safety Controllers for Networks of Continuous-Space POMDPs

Abstraction-Based Verification of Approximate Preopacity for Control Systems

Constructing MDP Abstractions Using Data With Formal Guarantees

Data-Driven Synthesis of Safety Controllers via Multiple Control Barrier Certificates

Estimation of Infinitesimal Generators for Unknown Stochastic Hybrid Systems via Sampling: A Formal Approach

Formal Synthesis of Controllers for Uncertain Linear Systems Against $\omega$-Regular Properties: A Set-Based Approach

Compositional Reinforcement Learning for Discrete-Time Stochastic Control Systems

Technical Committee on Hybrid Systems [Technical Activities]

Collaborators (5)

FABIO SOMENZI

Siyuan Liu

ashutosh trivedi

Saber Jafarpour

Abolfazl Lavaei

Make your next move.