TY  - RPRT
TI  - Myopically Verifiable Probabilistic Certificate for Long-term Safety
AU  - Zhuoyuan Wang
AU  - Haoming Jing
AU  - Christian Kurniawan
AU  - Albert Chern
AU  - Yorie Nakahira
PY  - 2021
UR  - https://arxiv.org/abs/2110.13380
ID  - 2110.13380
ER  -