Safety Certification in the Latent space using Control Barrier Functions and World Models

Mehul Anand, Shishir Kolathaya

Synthesising safe controllers from visual data typically requires extensive supervised labelling of safety-critical data, which is often impractical in real-world settings. Recent…