Mohammed Adib Oumer, Amr Al-Anwar 0001, Majid Zamani 0001. Data-Driven Safety Verification using Barrier Certificates and Matrix Zonotopes. In 64th IEEE Conference on Decision and Control, CDC 2025, Rio de Janeiro, Brazil, December 9-12, 2025. pages 3913-3918, IEEE, 2025. [doi]
Abstract is missing.