Travelled to:
1 × USA
Collaborated with:
S.Chakraborty Z.Khasidashvili C.H.Seger R.Gajavelly D.Chhatani R.Mistry
Talks about:
trajectori (1) symbol (1) level (1) evalu (1) word (1)
Person: Tanmay Haldankar
DBLP: Haldankar:Tanmay
Contributed to:
Wrote 1 papers:
- CAV-2015-ChakrabortyKSGH #evaluation
- Word-Level Symbolic Trajectory Evaluation (SC, ZK, CJHS, RG, TH, DC, RM), pp. 128–143.