( en | de | ru )

 

Disambiguation of "Chatterjee, Krishnendu"

Author of the publication

copydeleteadd this publication to your clipboard
Faster Algorithms for Alternating Refinement Relations.

, , and . CSL, volume 16 of LIPIcs, page 167-182. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)

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

Daniel Chatterjee

Indranil Chatterjee

 

Other publications of authors with the same name

Specification-centered robustness., , , , and . SIES, page 176-185. IEEE, (2011)Stack Size Analysis for Interrupt-Driven Programs., , , , , and . SAS, volume 2694 of Lecture Notes in Computer Science, page 109-126. Springer, (2003)Deciding Fast Termination for Probabilistic VASS with Nondeterminism., , , , and . ATVA, volume 11781 of Lecture Notes in Computer Science, page 462-478. Springer, (2019)Algorithms for algebraic path properties in concurrent systems of constant treewidth components., , , and . POPL, page 733-747. ACM, (2016)Discounting and Averaging in Games across Time scales., and . Int. J. Found. Comput. Sci., 23 (3): 609-625 (2012)Quantitative stochastic parity games., , and . SODA, page 121-130. SIAM, (2004)Optimizing Expectation with Guarantees in POMDPs., , , , and . AAAI, page 3725-3732. AAAI Press, (2017)Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees., , , and . AAAI, page 11926-11935. AAAI Press, (2023)Proving non-termination by program reversal., , , and . PLDI, page 1033-1048. ACM, (2021)Markov Decision Processes with Multiple Objectives., , and . STACS, volume 3884 of Lecture Notes in Computer Science, page 325-336. Springer, (2006)