Marimba: A Tool for Verifying Properties of Hidden Markov Models

DOI10.1007/978-3-319-24953-7_14zbMath1471.68146arXiv1507.05597OpenAlexW3106356073MaRDI QIDQ3460559

David A. Rosenblueth, Noé Hernández, Jesus Savage, Kerstin Eder, Evgeni Magid

Publication date: 8 January 2016

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1507.05597

Mathematics Subject Classification ID

Markov processes: estimation; hidden Markov models (62M05) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Artificial intelligence for robotics (68T40)

Related Items (1)

Marimba

Uses Software

• PRISM
• Haskell
• z3
• linearEqSolver

This page was built for publication: Marimba: A Tool for Verifying Properties of Hidden Markov Models