Rakesh Mistry

Identifiers

• name variant Rakesh Mistry 0.60 · backfill

Papers (2)

1. Approximate Probabilistic Inference via Word-Level Counting cs.AI · 2015 · author #3
2. Word-level Symbolic Trajectory Evaluation cs.LO · 2015 · author #7

Mentions

• 1511.07663 #3 · backfill · confidence 0.70 Rakesh Mistry
• 1505.07916 #7 · backfill · confidence 0.70 Rakesh Mistry

Frequent Coauthors

• Supratik Chakraborty 2 shared papers
• Carl-Johan H. Seger 1 shared papers
• Dinesh Chhatani 1 shared papers
• Kuldeep S. Meel 1 shared papers
• Moshe Y. Vardi 1 shared papers
• Rajkumar Gajavelly 1 shared papers
• Tanmay Haldankar 1 shared papers
• Zurab Khasidashvili 1 shared papers