( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Assume-Guarantee Synthesis for Digital Contract Signing

, и . CoRR, (2010)

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

 

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

Algorithms for Omega-Regular Games with Imperfect Information, ., , , и . CSL, том 4207 из Lecture Notes in Computer Science, стр. 287-302. Springer, (2006)Energy and Mean-Payoff Parity Markov Decision Processes., и . MFCS, том 6907 из Lecture Notes in Computer Science, стр. 206-218. Springer, (2011)Robust Draws in Balanced Knockout Tournaments., , и . IJCAI, стр. 172-179. IJCAI/AAAI Press, (2016)Expectation Optimization with Probabilistic Guarantees in POMDPs with Discounted-Sum Objectives., , , и . IJCAI, стр. 4692-4699. ijcai.org, (2018)Counterexample Explanation by Learning Small Strategies in Markov Decision Processes., , , , и . CAV (1), том 9206 из Lecture Notes in Computer Science, стр. 158-177. Springer, (2015)Specification-centered robustness., , , , и . SIES, стр. 176-185. IEEE, (2011)Discounting and Averaging in Games across Time scales., и . Int. J. Found. Comput. Sci., 23 (3): 609-625 (2012)Hyperplane Separation Technique for Multidimensional Mean-Payoff Games., и . CONCUR, том 8052 из Lecture Notes in Computer Science, стр. 500-515. Springer, (2013)Two-Player Nonzero-Sum omega-Regular Games.. CONCUR, том 3653 из Lecture Notes in Computer Science, стр. 413-427. Springer, (2005)Environment Assumptions for Synthesis., , и . CONCUR, том 5201 из Lecture Notes in Computer Science, стр. 147-161. Springer, (2008)