( en | de | ru )

 

Disambiguation of "Chatterjee, Krishnendu"

Author of the publication

copydeleteadd this publication to your clipboard
Decidable Problems for Probabilistic Automata on Infinite Words.

, and . LICS, page 185-194. IEEE Computer Society, (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

Indranil Chatterjee

Amitava Chatterjee

Daniel Chatterjee

 

Other publications of authors with the same name

Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees., , , and . AAAI, page 11926-11935. AAAI Press, (2023)Markov Decision Processes with Multiple Objectives., , and . STACS, volume 3884 of Lecture Notes in Computer Science, page 325-336. Springer, (2006)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)Strategy Representation by Decision Trees in Reactive Synthesis., , , and . TACAS (1), volume 10805 of Lecture Notes in Computer Science, page 385-407. Springer, (2018)Deciding Fast Termination for Probabilistic VASS with Nondeterminism., , , , and . ATVA, volume 11781 of Lecture Notes in Computer Science, page 462-478. Springer, (2019)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)Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives., , , and . Formal Methods Syst. Des., 42 (3): 301-327 (2013)