Haoming Jing, Yorie Nakahira: Safety Certificate against Latent Variables with Partially Unidentifiable Dynamics. ICML 2025