@misc{indiciae87c9759340b4,
  title = {Latticed \$k\$-Induction with an Application to Probabilistic Programs},
  author = {Kevin Batz and Mingshuai Chen and Benjamin Lucien Kaminski and Joost-Pieter Katoen and Christoph Matheja and Philipp Schröer},
  year = {2021},
  url = {https://arxiv.org/abs/2105.14100},
  note = {Source identifier: 2105.14100}
}