@inproceedings{cry2025bayesian,
  author    = {Cry, Pierre and Ballarini, Paolo and Horv{\'a}th, Andr{\'a}s and Le Gall, Pascale},
  title     = {Statistical Bayesian Inference for Stochastic Process Discovery},
  booktitle = {Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems (QEST+FORMATS)},
  series    = {Lecture Notes in Computer Science},
  volume    = {16143},
  publisher = {Springer},
  year      = {2025},
  doi       = {10.1007/978-3-032-05792-1_22},
}