( en | de | ru )

 

Disambiguierung von "Chatterjee, Krishnendu"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Strategy Representation by Decision Trees with Linear Classifiers.

, , , , , und . QEST, Volume 11785 von Lecture Notes in Computer Science, Seite 109-128. Springer, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Krishnendu Mukherjee

Gudrun Chatterjee

Amitava Chatterjee

Daniel Chatterjee

Indranil Chatterjee

 

Weitere Publikationen von Autoren mit dem selben Namen

Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives., , , und . Formal Methods Syst. Des., 42 (3): 301-327 (2013)Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives., , und . Theor. Comput. Sci., (2015)Specification-centered robustness., , , , und . SIES, Seite 176-185. IEEE, (2011)Quantitative Analysis of Assertion Violations in Probabilistic Programs., , , , und . CoRR, (2020)Faster Algorithms for Markov Decision Processes with Low Treewidth., und . CAV, Volume 8044 von Lecture Notes in Computer Science, Seite 543-558. Springer, (2013)Faster and Dynamic Algorithms for Maximal End-Component Decomposition and Related Graph Problems in Probabilistic Verification., und . SODA, Seite 1318-1336. SIAM, (2011)Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees., , , und . AAAI, Seite 11926-11935. AAAI Press, (2023)Optimizing Expectation with Guarantees in POMDPs., , , , und . AAAI, Seite 3725-3732. AAAI Press, (2017)Proving non-termination by program reversal., , , und . PLDI, Seite 1033-1048. ACM, (2021)Reduction of stochastic parity to stochastic mean-payoff games., und . Inf. Process. Lett., 106 (1): 1-7 (2008)