( en | de | ru )

 

Disambiguation of "Chatterjee, Krishnendu"

Author of the publication

copydeleteadd this publication to your clipboard
Strategy synthesis for multi-dimensional quantitative objectives.

, , and . Acta Inf., 51 (3-4): 129-163 (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Krishnendu Mukherjee

Gudrun Chatterjee

Amitava Chatterjee

Indranil Chatterjee

Daniel Chatterjee

 

Other publications of authors with the same name

Approximating the minimum cycle mean., , , , and . Theor. Comput. Sci., (2014)Games with secure equilibria., , and . Theor. Comput. Sci., 365 (1-2): 67-82 (2006)Inductive Reachability Witnesses., , , , and . CoRR, (2020)Concentration-Bound Analysis for Probabilistic Programs and Probabilistic Recurrence Relations., , , , , and . CoRR, (2020)Robust content-driven reputation., , and . AISec, page 33-42. ACM, (2008)Hybrid mining, , and . Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, ACM, (April 2019)Special Issue for the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS 2013, Klosterneuburg, Austria., and . Inf. Comput., (2015)Graph Games and Reactive Synthesis., , and . Handbook of Model Checking, Springer, (2018)TTP: Tool for Tumor Progression., , , and . CAV, volume 8044 of Lecture Notes in Computer Science, page 101-106. Springer, (2013)Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives., , , , and . CAV (2), volume 10982 of Lecture Notes in Computer Science, page 178-197. Springer, (2018)