Giridhar Hariharan

According to our database¹, Giridhar Hariharan authored at least 1 paper in 2009.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2009

Using Model Checking for Decision Making in Computer Games.

[BibT_eX]

Proceedings of the 2009 International Conference on Foundations of Computer Science, 2009