Correct-by-Construction Barrier Certificate Synthesis for Safety Verification of Continuous Dynamical Systems

Promit Panja, André Platzer. Correct-by-Construction Barrier Certificate Synthesis for Safety Verification of Continuous Dynamical Systems. In 64th IEEE Conference on Decision and Control, CDC 2025, Rio de Janeiro, Brazil, December 9-12, 2025. pages 7701-7707, IEEE, 2025. [doi]

Abstract

Abstract is missing.