Professor CHATTERJEE Krishnendu
Team : MoVe
Invited by : Béatrice BÉRARD
Arrival date : 07/23/2012
Departure date : 07/27/2012
http://pub.ist.ac.at/~kchatterjee
Research activity
Stochastic game theory, Probabilistic model checking, Game theory, Logic and Automata Theory, Quantitative theory of verification