( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives.

, , , и . CAV, том 6806 из Lecture Notes in Computer Science, стр. 260-276. Springer, (2011)

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

 

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

Reduction of stochastic parity to stochastic mean-payoff games., и . Inf. Process. Lett., 106 (1): 1-7 (2008)Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives., , и . Theor. Comput. Sci., (2015)Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives., , , и . Formal Methods Syst. Des., 42 (3): 301-327 (2013)Quantitative Analysis of Assertion Violations in Probabilistic Programs., , , , и . CoRR, (2020)Faster and Dynamic Algorithms for Maximal End-Component Decomposition and Related Graph Problems in Probabilistic Verification., и . SODA, стр. 1318-1336. SIAM, (2011)The Value 1 Problem Under Finite-memory Strategies for Concurrent Mean-payoff Games., и . SODA, стр. 1018-1029. SIAM, (2015)Algorithms for algebraic path properties in concurrent systems of constant treewidth components., , , и . POPL, стр. 733-747. ACM, (2016)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)