TY  - RPRT
TI  - Marimba: A Tool for Verifying Properties of Hidden Markov Models
AU  - Noe Hernandez
AU  - Kerstin Eder
AU  - Evgeni Magid
AU  - Jesus Savage
AU  - David A. Rosenblueth
PY  - 2015
DO  - 10.1007/978-3-319-24953-7_14
UR  - https://arxiv.org/abs/1507.05597
ID  - 1507.05597
ER  -