@misc{indiciae39cfb1c5d551,
  title = {Model Repair Revamped: On the Automated Synthesis of Markov Chains},
  author = {Milan Ceska and Christian Dehnert and Nils Jansen and Sebastian Junges and Joost-Pieter Katoen},
  year = {2021},
  doi = {10.1007/978-3-030-31514-6\textbackslash{}\_7},
  url = {https://arxiv.org/abs/2105.13411},
  note = {Source identifier: 2105.13411}
}