Stochastic World Models for Verifying Vision‑Based Neural Feedback Systems
The authors propose stochastic world models as tractable surrogates for verifying vision‑based neural feedback controllers, addressing limitations of GAN‑b
The authors propose stochastic world models as tractable surrogates for verifying vision‑based neural feedback controllers, addressing limitations of GAN‑b