Zurab Khasidashvili

Identifiers

• name variant Zurab Khasidashvili 0.60 · backfill

Papers (1)

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

Mentions

• 1505.07916 #2 · backfill · confidence 0.70 Zurab Khasidashvili

Frequent Coauthors

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