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

Departure date : 07/27/2012
Mentions légales
Site map