The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Krishnendu Chatterjee" ( http://dblp.L3S.de/Authors/Krishnendu_Chatterjee )

URL (Homepage):  http://pub.ist.ac.at/~kchatterjee/  Author page on DBLP  Author page in RDF  Community of Krishnendu Chatterjee in ASPL-2

Publication years (Num. hits)
2003-2005 (17) 2006-2007 (23) 2008 (24) 2009 (15) 2010 (27) 2011 (32) 2012 (34) 2013 (32) 2014 (41) 2015 (41) 2016 (32) 2017 (24)
Publication types (Num. hits)
article(173) inproceedings(166) proceedings(3)
Venues (Conferences, Journals, ...)
CoRR(111) LICS(15) Inf. Comput.(12) CAV(11) CONCUR(11) CSL(9) HSCC(8) MFCS(7) FoSSaCS(6) FSTTCS(6) ICALP (2)(6) Logical Methods in Computer Sc...(6) SODA(6) TACAS(6) ACM Trans. Comput. Log.(5) CAV (1)(5) More (+10 of total 81)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 6 occurrences of 6 keywords

Results
Found 343 publication records. Showing 342 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Krishnendu Chatterjee, Rüdiger Ehlers Special issue: Synthesis and SYNT 2014. Search on Bibsonomy Acta Inf. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Georg Osang Pushdown reachability with constant treewidth. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Laurent Doyen 0001, Emmanuel Filiot, Jean-François Raskin Doomsday equilibria for omega-regular games. Search on Bibsonomy Inf. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop, Yaron Velner Quantitative fair simulation games. Search on Bibsonomy Inf. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tomás Brázdil, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera Trading performance for stability in Markov decision processes. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Yaron Velner Hyperplane separation technique for multidimensional mean-payoff games. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Nir Piterman Obligation Blackwell Games and P-Automata. Search on Bibsonomy J. Symb. Log. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop Bidirectional Nested Weighted Automata. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Pranav Ashok, Krishnendu Chatterjee, Przemyslaw Daca, Jan Kretínský, Tobias Meggendorfer Value Iteration for Long-run Average Reward in Markov Decision Processes. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný 0001, Dominik Velan Efficient Algorithms for Checking Fast Termination in VASS. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Monika Henzinger, Alexander Svozil Faster Algorithms for Mean-Payoff Parity Games. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Bernhard Kragl, Samarth Mishra, Andreas Pavlogiannis Faster Algorithms for Weighted Recursive State Machines. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Hongfei Fu, Aniket Murhekar Automated Recurrence Analysis for Almost-Linear Expected-Runtime Bounds. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Martin A. Nowak Faster Monte-Carlo Algorithms for Fixation Probability of the Moran Process on Undirected Graphs. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady Non-polynomial Worst-Case Analysis of Recursive Programs. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Veronika Loitzenbauer Improved Set-based Symbolic Algorithms for Parity Games. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Hongfei Fu Termination of Nondeterministic Recursive Probabilistic Programs. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Laurent Doyen 0001, Thomas A. Henzinger The Cost of Exactness in Quantitative Reachability. Search on Bibsonomy Models, Algorithms, Logics and Tools The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Petr Novotný 0001, Dorde Zikelic Stochastic invariants for probabilistic termination. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Pranav Ashok, Krishnendu Chatterjee, Przemyslaw Daca, Jan Kretínský, Tobias Meggendorfer Value Iteration for Long-Run Average Reward in Markov Decision Processes. Search on Bibsonomy CAV (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Hongfei Fu, Aniket Murhekar Automated Recurrence Analysis for Almost-Linear Expected-Runtime Bounds. Search on Bibsonomy CAV (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady Non-polynomial Worst-Case Analysis of Recursive Programs. Search on Bibsonomy CAV (2) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Petr Novotný 0001, Guillermo A. Pérez, Jean-François Raskin, Dorde Zikelic Optimizing Expectation with Guarantees in POMDPs. Search on Bibsonomy AAAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Bernhard Kragl, Samarth Mishra, Andreas Pavlogiannis Faster Algorithms for Weighted Recursive State Machines. Search on Bibsonomy ESOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Martin Chmelik, Raghav Gupta, Ayush Kanodia Optimal cost almost-sure reachability in POMDPs. Search on Bibsonomy Artif. Intell. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Martin Chmelik, Mathieu Tracol What is decidable about partially observable Markov decision processes with ω-regular objectives. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady Termination Analysis of Probabilistic Programs through Positivstellensatz's. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Josef Tkadlec Robust Draws in Balanced Knockout Tournaments. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Laurent Doyen 0001 Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop Quantitative Automata under Probabilistic Semantics. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Monika Henzinger, Sebastian Krinninger, Danupon Nanongkai Polynomial-Time Algorithms for Energy Games with Special Weight Structures. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Laurent Doyen 0001 Computation Tree Logic for Synchronization Properties. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Petr Novotný 0001, Dorde Zikelic Stochastic Invariants for Probabilistic Termination. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Veronika Loitzenbauer Model and Objective Separation with Conditional Lower Bounds: Disjunction is Harder than Conjunction. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Anchit Gupta, Petr Novotný 0001 Stochastic Shortest Path with Energy Constraints in POMDPs. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Veronika Loitzenbauer Conditionally Optimal Algorithms for Generalized Büchi Games. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Petr Novotný 0001, Guillermo A. Pérez, Jean-François Raskin, Dorde Zikelic Optimizing Expectation with Guarantees in POMDPs (Technical Report). Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop Nested Weighted Limit-Average Automata of Bounded Width. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Andreas Pavlogiannis, Nishant Sinha, Kapil Vaidya Data-centric Dynamic Partial Order Reduction. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Andreas Pavlogiannis Algorithms for algebraic path properties in concurrent systems of constant treewidth components. Search on Bibsonomy POPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Hongfei Fu, Petr Novotný 0001, Rouzbeh Hasheminezhad Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs. Search on Bibsonomy POPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop Quantitative Monitor Automata. Search on Bibsonomy SAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady Termination Analysis of Probabilistic Programs Through Positivstellensatz's. Search on Bibsonomy CAV (1) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Martin Chmelik Indefinite-Horizon Reachability in Goal-DEC-POMDPs. Search on Bibsonomy ICAPS The full citation details ... 2016 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Martin Chmelik, Jessica Davies A Symbolic SAT-Based Algorithm for Almost-Sure Reachability with Small Strategies in POMDPs. Search on Bibsonomy AAAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Vineet Pandey, Krishnendu Chatterjee Game-theoretic models identify useful principles for peer collaboration in online learning platforms. Search on Bibsonomy CSCW Companion The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Laurent Doyen 0001 Computation Tree Logic for Synchronization Properties. Search on Bibsonomy ICALP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop Nested Weighted Limit-Average Automata of Bounded Width. Search on Bibsonomy MFCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Veronika Loitzenbauer Conditionally Optimal Algorithms for Generalized Büchi Games. Search on Bibsonomy MFCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Andreas Pavlogiannis Optimal Reachability and a Space-Time Tradeoff for Distance Queries in Constant-Treewidth Graphs. Search on Bibsonomy ESA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Rasmus Ibsen-Jensen The Complexity of Deciding Legality of a Single Step of Magic: The Gathering. Search on Bibsonomy ECAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Anchit Gupta, Petr Novotný 0001 Stochastic Shortest Path with Energy Constraints in POMDPs: (Extended Abstract). Search on Bibsonomy AAMAS The full citation details ... 2016 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Josef Tkadlec Robust Draws in Balanced Knockout Tournaments. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Laurent Doyen 0001 Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives. Search on Bibsonomy LICS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop Quantitative Automata under Probabilistic Semantics. Search on Bibsonomy LICS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Veronika Loitzenbauer Model and Objective Separation with Conditional Lower Bounds: Disjunction is Harder than Conjunction. Search on Bibsonomy LICS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Martin Chmelik, Przemyslaw Daca CEGAR for compositional analysis of qualitative properties in Markov decision processes. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Martin Chmelik POMDPs under probabilistic semantics. Search on Bibsonomy Artif. Intell. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Béatrice Bérard, Krishnendu Chatterjee, Nathalie Sznajder Probabilistic opacity for Markov decision processes. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Rasmus Ibsen-Jensen Qualitative analysis of concurrent mean-payoff games. Search on Bibsonomy Inf. Comput. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Laurent Doyen 0001, Mickael Randour, Jean-François Raskin Looking at mean-payoff and total-payoff through windows. Search on Bibsonomy Inf. Comput. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Jirí Sgall Special Issue for the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS 2013, Klosterneuburg, Austria. Search on Bibsonomy Inf. Comput. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yaron Velner, Krishnendu Chatterjee, Laurent Doyen 0001, Thomas A. Henzinger, Alexander Moshe Rabinovich, Jean-François Raskin The complexity of multi-mean-payoff and multi-energy games. Search on Bibsonomy Inf. Comput. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Laurent Doyen 0001, Hugo Gimbert, Thomas A. Henzinger Randomness for free. Search on Bibsonomy Inf. Comput. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Stéphane Lafortune, Nicolas Markey, Wolfgang Thomas Non-Zero-Sum-Games and Control (Dagstuhl Seminar 15061). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh 0002 Measuring and Synthesizing Systems in Probabilistic Environments. Search on Bibsonomy J. ACM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Vinayak S. Prabhu Quantitative Temporal Simulation and Refinement Distances for Timed Systems. Search on Bibsonomy IEEE Trans. Automat. Contr. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Andreas Pavlogiannis Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Kristoffer Arnsfelt Hansen, Rasmus Ibsen-Jensen Strategy Complexity of Concurrent Stochastic Games with Safety and Reachability Objectives. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Martin Chmelik, Jessica Davies A Symbolic SAT-based Algorithm for Almost-sure Reachability with Small Strategies in POMDPs. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Andreas Pavlogiannis Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Thomas A. Henzinger, Rasmus Ibsen-Jensen, Jan Otop Edit Distance for Pushdown Automata. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Laurent Doyen 0001, Moshe Y. Vardi The Complexity of Synthesis from Probabilistic Components. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Andreas Fellner, Jan Kretínský Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Zuzana Komárková, Jan Kretínský Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Tomás Brázdil, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera MultiGain: A controller synthesis tool for MDPs with multiple mean-payoff objectives. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Hongfei Fu, Petr Novotný 0001, Rouzbeh Hasheminezhad Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop Nested Weighted Automata. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Tadeas Priklopil, Krishnendu Chatterjee Evolution of Decisions in Population Games with Sequentially Searching Individuals. Search on Bibsonomy Games The full citation details ... 2015 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Manas Joglekar, Nisarg Shah 0001 Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Martin Chmelik, Raghav Gupta, Ayush Kanodia Qualitative analysis of POMDPs with temporal logic specifications for robotics applications. Search on Bibsonomy ICRA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Andreas Pavlogiannis, Prateesh Goyal Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth. Search on Bibsonomy POPL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Andreas Pavlogiannis, Yaron Velner Quantitative Interprocedural Analysis. Search on Bibsonomy POPL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Roderick Bloem, Krishnendu Chatterjee, Swen Jacobs, Robert Könighofer Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information. Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Tomás Brázdil, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera MultiGain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives. Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Andreas Pavlogiannis Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. Search on Bibsonomy CAV (1) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Andreas Fellner, Jan Kretínský Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. Search on Bibsonomy CAV (1) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1María Svorenová, Jan Kretínský, Martin Chmelik, Krishnendu Chatterjee, Ivana Cerná, Calin Belta Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. Search on Bibsonomy HSCC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1María Svorenová, Martin Chmelik, Kevin Leahy 0001, Hasan Ferit Eniser, Krishnendu Chatterjee, Ivana Cerná, Calin Belta Temporal logic motion planning using POMDPs with parity objectives: case study paper. Search on Bibsonomy HSCC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Umair Z. Ahmed, Krishnendu Chatterjee, Sumit Gulwani Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Martin Chmelik, Raghav Gupta, Ayush Kanodia Optimal Cost Almost-Sure Reachability in POMDPs. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Thomas A. Henzinger, Rasmus Ibsen-Jensen, Jan Otop Edit Distance for Pushdown Automata. Search on Bibsonomy ICALP (2) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Laurent Doyen 0001, Moshe Y. Vardi The Complexity of Synthesis from Probabilistic Components. Search on Bibsonomy ICALP (2) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Rasmus Ibsen-Jensen The Value 1 Problem Under Finite-memory Strategies for Concurrent Mean-payoff Games. Search on Bibsonomy SODA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Monika Henzinger, Veronika Loitzenbauer Improved Algorithms for One-Pair and k-Pair Streett Objectives. Search on Bibsonomy LICS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Zuzana Komárková, Jan Kretínský Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. Search on Bibsonomy LICS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop Nested Weighted Automata. Search on Bibsonomy LICS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Georg Hofferek, Barbara Jobstmann, Bettina Könighofer, Robert Könighofer Synthesizing robust systems. Search on Bibsonomy Acta Inf. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Mickael Randour, Jean-François Raskin Strategy synthesis for multi-dimensional quantitative objectives. Search on Bibsonomy Acta Inf. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Monika Henzinger, Sebastian Krinninger, Danupon Nanongkai Polynomial-Time Algorithms for Energy Games with Special Weight Structures. Search on Bibsonomy Algorithmica The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 342 (100 per page; Change: )
Pages: [1][2][3][4][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license