Safety Verification Using Barrier Certificates with Application to Double Integrator with Input Saturation and Zero-Order Hold. - Azad Ghaffari; Imoleayo Abel; Daniel Ricketts 001; Sorin Lerner; Miroslav Krstic (ACC, 2018)

Prescribed-Time Safety Design for a Chain of Integrators. - Imoleayo Abel; Drew Steeves; Miroslav Krstic; Mrdjan Jankovic (ACC, 2022)

Prescribed-Time Safety Design for a Chain of Integrators. - Imoleayo Abel; Drew Steeves; Miroslav Krstic (CoRR, 2022)

Prescribed-Time Safety Design for Strict-Feedback Nonlinear Systems. - Imoleayo Abel; Drew Steeves; Miroslav Krstic; Mrdjan Jankovic (IEEE Trans. Autom. Control., 2024)