( 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

Deciding Fast Termination for Probabilistic VASS with Nondeterminism., , , , and . ATVA, volume 11781 of Lecture Notes in Computer Science, page 462-478. Springer, (2019)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)Strategy Representation by Decision Trees in Reactive Synthesis., , , and . TACAS (1), volume 10805 of Lecture Notes in Computer Science, page 385-407. Springer, (2018)A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems., , , and . TACAS (1), volume 13993 of Lecture Notes in Computer Science, page 3-25. Springer, (2023)Markov Decision Processes with Multiple Objectives., , and . STACS, volume 3884 of Lecture Notes in Computer Science, page 325-336. Springer, (2006)A Framework for Automated Competitive Analysis of On-line Scheduling of Firm-Deadline Tasks., , , and . RTSS, page 118-127. IEEE Computer Society, (2014)Verification of Markov Decision Processes Using Learning Algorithms., , , , , , , and . ATVA, volume 8837 of Lecture Notes in Computer Science, page 98-114. Springer, (2014)Strategy Improvement for Concurrent Reachability Games., , and . QEST, page 291-300. IEEE Computer Society, (2006)Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies., , , and . CONCUR, volume 118 of LIPIcs, page 11:1-11:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)