Krishnendu Chatterjee

Krishnendu Chatterjee

Professor, IST Austria
Dirección de correo verificada de ist.ac.at
Citado por 15606
Game theory Logic and automata theory Algorithms Evolutionary Game theory Algorithmic Game Theory
Supratik Chakraborty

Supratik Chakraborty

Dept. of Computer Science and Engineering, IIT Bombay
Dirección de correo verificada de iitb.ac.in
Citado por 2406
Formal methods constrained sampling and counting automated synthesis logic and automata theory
Pierre-Alain Reynier

Pierre-Alain Reynier

LIS, Aix-Marseille Université
Dirección de correo verificada de lif.univ-mrs.fr
Citado por 1167
Formal verification Logic and automata theory
Guillermo A. Pérez

Guillermo A. Pérez

Associate Professor, University of Antwerp
Dirección de correo verificada de uantwerp.be
Citado por 859
Logic and Automata Theory Formal Verification Learning Theory
B Srivathsan

B Srivathsan

Chennai Mathematical Institute, Associate Professor of Computer Science
Dirección de correo verificada de cmi.ac.in
Citado por 375
Formal Verification Logic and Automata theory
Ritam Raha

Ritam Raha

Post-doctoral Researcher, Max Planck Institute for Software Systems (MPI-SWS)
Dirección de correo verificada de mpi-sws.org
Citado por 49
Formal Methods and Verification Artificial Intelligence Logic and Automata Theory Games