Mohammed Adib Oumer

According to our database, Mohammed Adib Oumer authored at least 4 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Control Closure Certificates.

Vishnu Murali, Mohammed Adib Oumer, Majid Zamani

CoRR, August, 2025

<i>k</i>-Inductive and Interpolation-Inspired Barrier Certificates for Stochastic Dynamical Systems.

Mohammed Adib Oumer, Vishnu Murali, Majid Zamani

CoRR, April, 2025

Data-Driven Safety Verification using Barrier Certificates and Matrix Zonotopes.

Mohammed Adib Oumer, Amr Alanwar, Majid Zamani

CoRR, April, 2025

2024

Safety Verification of Discrete-Time Systems via Interpolation-Inspired Barrier Certificates.

Mohammed Adib Oumer, Vishnu Murali, Ashutosh Trivedi, Majid Zamani

IEEE Control. Syst. Lett., 2024