Safety Verification of Discrete-Time Systems via Interpolation-Inspired Barrier Certificates. - Mohammed Adib Oumer; Vishnu Murali; Ashutosh Trivedi 001; Majid Zamani 001 (IEEE Control. Syst. Lett., 2024)

Data-Driven Safety Verification using Barrier Certificates and Matrix Zonotopes. - Mohammed Adib Oumer; Amr Alanwar 001; Majid Zamani 001 (CoRR, 2025)

k-Inductive and Interpolation-Inspired Barrier Certificates for Stochastic Dynamical Systems. - Mohammed Adib Oumer; Vishnu Murali; Majid Zamani 001 (CoRR, 2025)

Control Closure Certificates. - Vishnu Murali; Mohammed Adib Oumer; Majid Zamani 001 (CoRR, 2025)