TY  - RPRT
TI  - PAC One-Step Safety Certification for Black-Box Discrete-Time Stochastic Systems
AU  - Taoran Wu
AU  - Dominik Wagner
AU  - Jingduo Pan
AU  - Luke Ong
AU  - Arvind Easwaran
AU  - Bai Xue
PY  - 2026
UR  - https://arxiv.org/abs/2512.05549
ID  - 2512.05549
ER  -