Marimba: A Tool for Verifying Properties of Hidden Markov Models.

No Hernndez, Kerstin Eder, Evgeni Magid, Jess Savage, David A. Rosenblueth

Browse the full ATVA paper archive.