Rakesh Mistry
Identifiers
No identifiers captured yet.
Papers (2)
- Approximate Probabilistic Inference via Word-Level Counting cs.AI · 2015 · author #3
- Word-level Symbolic Trajectory Evaluation cs.LO · 2015 · author #7
Mentions
No mention provenance yet.
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