@misc{indiciaefb2abd016030,
  title = {Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants},
  author = {Kevin Batz and Mingshuai Chen and Sebastian Junges and Benjamin Lucien Kaminski and Joost-Pieter Katoen and Christoph Matheja},
  year = {2023},
  url = {https://arxiv.org/abs/2205.06152},
  note = {Source identifier: 2205.06152}
}