TY  - RPRT
TI  - Leveraging System-Level Observations to Inform Bayesian Learning of Model Parameters for Quantitative Verification
AU  - Simos Gerasimou
AU  - Xingyu Zhao
PY  - 2026
UR  - https://arxiv.org/abs/2608.03489
ID  - 2608.03489
ER  -