@misc{indiciaea96388a31861,
  title = {Leveraging System-Level Observations to Inform Bayesian Learning of Model Parameters for Quantitative Verification},
  author = {Simos Gerasimou and Xingyu Zhao},
  year = {2026},
  url = {https://arxiv.org/abs/2608.03489},
  note = {Source identifier: 2608.03489}
}