( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Strategy Representation by Decision Trees with Linear Classifiers.

, , , , , и . QEST, том 11785 из Lecture Notes in Computer Science, стр. 109-128. Springer, (2019)

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.

Krishnendu Mukherjee

Gudrun Chatterjee

Amitava Chatterjee

Daniel Chatterjee

Indranil Chatterjee

 

Другие публикации лиц с тем же именем

Deciding Fast Termination for Probabilistic VASS with Nondeterminism., , , , и . ATVA, том 11781 из Lecture Notes in Computer Science, стр. 462-478. Springer, (2019)Optimizing Expectation with Guarantees in POMDPs., , , , и . AAAI, стр. 3725-3732. AAAI Press, (2017)Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees., , , и . AAAI, стр. 11926-11935. AAAI Press, (2023)Strategy Representation by Decision Trees in Reactive Synthesis., , , и . TACAS (1), том 10805 из Lecture Notes in Computer Science, стр. 385-407. Springer, (2018)A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems., , , и . TACAS (1), том 13993 из Lecture Notes in Computer Science, стр. 3-25. Springer, (2023)Markov Decision Processes with Multiple Objectives., , и . STACS, том 3884 из Lecture Notes in Computer Science, стр. 325-336. Springer, (2006)A Framework for Automated Competitive Analysis of On-line Scheduling of Firm-Deadline Tasks., , , и . RTSS, стр. 118-127. IEEE Computer Society, (2014)Verification of Markov Decision Processes Using Learning Algorithms., , , , , , , и . ATVA, том 8837 из Lecture Notes in Computer Science, стр. 98-114. Springer, (2014)Strategy Improvement for Concurrent Reachability Games., , и . QEST, стр. 291-300. IEEE Computer Society, (2006)Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies., , , и . CONCUR, том 118 из LIPIcs, стр. 11:1-11:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)