Safety Certificate against Latent Variables with Partially Unidentifiable Dynamics | Read Paper on Bytez