TY - RPRT TI - Safety Certificate against Latent Variables with Partially Unidentifiable Dynamics AU - Haoming Jing AU - Yorie Nakahira PY - 2025 UR - https://arxiv.org/abs/2506.17927 ID - 2506.17927 ER -