Mohammed Adib Oumer, Vishnu Murali, Majid Zamani 0001. Interpolation-Inspired Closure Certificates. In 64th IEEE Conference on Decision and Control, CDC 2025, Rio de Janeiro, Brazil, December 9-12, 2025. pages 6939-6944, IEEE, 2025. [doi]
Abstract is missing.