Dinesh Chhatani

Identifiers

• name variant Dinesh Chhatani 0.60 · backfill

Papers (1)

1. Word-level Symbolic Trajectory Evaluation cs.LO · 2015 · author #6

Mentions

• 1505.07916 #6 · backfill · confidence 0.70 Dinesh Chhatani

Frequent Coauthors

• Carl-Johan H. Seger 1 shared papers
• Rajkumar Gajavelly 1 shared papers
• Rakesh Mistry 1 shared papers
• Supratik Chakraborty 1 shared papers
• Tanmay Haldankar 1 shared papers
• Zurab Khasidashvili 1 shared papers