( en | de | ru )

 

Disambiguation of "Chatterjee, Krishnendu"

Author of the publication

copydeleteadd this publication to your clipboard
Algorithms and conditional lower bounds for planning problems.

, , , and . Artif. Intell., (2021)

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

Quantitative stochastic parity games., , and . SODA, page 121-130. SIAM, (2004)Reduction of stochastic parity to stochastic mean-payoff games., and . Inf. Process. Lett., 106 (1): 1-7 (2008)Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives., , and . Theor. Comput. Sci., (2015)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)Proving non-termination by program reversal., , , and . PLDI, page 1033-1048. ACM, (2021)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)Sensor Synthesis for POMDPs with Reachability Objectives., , and . ICAPS, page 47-55. AAAI Press, (2018)Discounting and Averaging in Games across Time scales., and . Int. J. Found. Comput. Sci., 23 (3): 609-625 (2012)