Evgeni Magid

Identifiers

• name variant Evgeni Magid 0.60 · backfill

Papers (1)

1. Marimba: A Tool for Verifying Properties of Hidden Markov Models cs.LO · 2015 · author #3

Mentions

• 1507.05597 #3 · backfill · confidence 0.70 Evgeni Magid

Frequent Coauthors

• David A. Rosenblueth 1 shared papers
• Jesus Savage 1 shared papers
• Kerstin Eder 1 shared papers
• Noe Hernandez 1 shared papers