Leveraging System-Level Observations to Inform Bayesian Learning of Model Parameters for Quantitative Verification
arXiv:2608.03489v1 Announce Type: cross Abstract: Combining Bayesian learning and quantitative verification is a powerful toolset for analysing key quantitative properties of software systems, like re