( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Two-Player Nonzero-Sum omega-Regular Games.

. CONCUR, том 3653 из Lecture Notes in Computer Science, стр. 413-427. Springer, (2005)

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

Indranil Chatterjee

Daniel Chatterjee

 

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

Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant Treewidth., , , , и . ACM Trans. Program. Lang. Syst., 41 (4): 23:1-23:46 (2019)Markov Decision Processes with Multiple Objectives., , и . STACS, том 3884 из Lecture Notes in Computer Science, стр. 325-336. Springer, (2006)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)Stack Size Analysis for Interrupt-Driven Programs., , , , , и . SAS, том 2694 из Lecture Notes in Computer Science, стр. 109-126. Springer, (2003)Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives., , , и . Formal Methods Syst. Des., 42 (3): 301-327 (2013)Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives., , и . Theor. Comput. Sci., (2015)Quantitative Analysis of Assertion Violations in Probabilistic Programs., , , , и . CoRR, (2020)Algorithms for Omega-Regular Games with Imperfect Information, ., , , и . CSL, том 4207 из Lecture Notes in Computer Science, стр. 287-302. Springer, (2006)Concurrent Games with Tail Objectives.. CSL, том 4207 из Lecture Notes in Computer Science, стр. 256-270. Springer, (2006)