@misc{indiciae3e74004ff172,
  title = {Marimba: A Tool for Verifying Properties of Hidden Markov Models},
  author = {Noe Hernandez and Kerstin Eder and Evgeni Magid and Jesus Savage and David A. Rosenblueth},
  year = {2015},
  doi = {10.1007/978-3-319-24953-7\_14},
  url = {https://arxiv.org/abs/1507.05597},
  note = {Source identifier: 1507.05597}
}