TY  - RPRT
TI  - Certificates Synthesis for A Class of Observational Properties in Stochastic Systems: A Unified Approach
AU  - Bohan Cui
AU  - Jianing Zhao
AU  - Yu Chen
AU  - Alessandro Abate
AU  - Marta Kwiatkowska
AU  - Xiang Yin
PY  - 2026
UR  - https://arxiv.org/abs/2604.04067
ID  - 2604.04067
ER  -