| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Johannes G. Reiter, Ivana Bozic, Krishnendu Chatterjee, Martin A. Nowak |
TTP: Tool for Tumor Progression  |
CoRR  |
2013 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Andreas Gaiser, Jan Kretínský |
Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis |
CoRR |
2013 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Jakub Lacki |
Faster Algorithms for Markov Decision Processes with Low Treewidth |
CoRR |
2013 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Nathanaël Fijalkow |
Infinite-state games with finitary conditions |
CoRR |
2013 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Mickael Randour, Jean-François Raskin |
Looking at Mean-Payoff and Total-Payoff through Windows |
CoRR |
2013 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger |
Strategy improvement for concurrent reachability and turn-based stochastic safety games. |
J. Comput. Syst. Sci. |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Monika Henzinger, Manas Joglekar, Nisarg Shah |
Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives. |
Formal Methods in System Design |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Rupak Majumdar, Vishwanath Raman |
Code aware resource management. |
Formal Methods in System Design |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Siddhesh Chaubal, Sasha Rubin |
How to Travel between Languages. |
LATA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Vinayak S. Prabhu |
Quantitative timed simulation functions and refinement metrics for real-time systems. |
HSCC |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Alexander Kößler, Ulrich Schmid |
Automated analysis of real-time scheduling using graph games. |
HSCC |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen |
Energy parity games. |
Theor. Comput. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Rupak Majumdar |
Discounting and Averaging in Games across Time scales. |
Int. J. Found. Comput. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee |
The complexity of stochastic Müller games. |
Inf. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Suneet Tuli |
Image Enhancement in Transient Lock-In Thermography Through Time Series Reconstruction and Spatial Slope Correction. |
IEEE T. Instrumentation and Measurement |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger |
Strategy Improvement for Concurrent Reachability and Safety Games |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Rasmus Ibsen-Jensen |
Strategy complexity of finite-horizon Markov decision processes and simple stochastic games |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu |
Finite Automata with Time-Delay Blocks (Extended Version) |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Siddhesh Chaubal, Pritish Kamath |
Faster Algorithms for Alternating Refinement Relations |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Martin Chmelik, Rupak Majumdar |
Equivalence of Games with Probabilistic Uncertainty and Partial-observation Games |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Manas Joglekar, Nisarg Shah |
Average Case Analysis of the Classical Algorithm for Markov Decision Processes with Büchi Objectives |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Yaron Velner |
Finite-State and Pushdown Games with Multi-dimensional Mean-Payoff Objectives |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Yaron Velner, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Alexander Rabinovich, Jean-François Raskin |
The Complexity of Multi-Mean-Payoff and Multi-Energy Games |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Vinayak S. Prabhu |
Quantitative Timed Simulation Functions and Refinement Metrics for Timed Systems (Full Version) |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Yaron Velner |
Mean-Payoff Pushdown Games |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Nir Piterman |
Obligation Blackwell Games and p-Automata |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar |
Counterexample-guided Planning |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný |
Efficient Controller Synthesis for Consumption Games with Multiple Resource Types |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Mickael Randour, Jean-François Raskin |
Strategy Synthesis for Multi-dimensional Quantitative Objectives |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger |
A survey of stochastic ω-regular games. |
J. Comput. Syst. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolaj Bjørner, Krishnendu Chatterjee, Laura Kovács, Rupak Majumdar |
Games and Decisions for Rigorous Systems Engineering (Dagstuhl Seminar 12461). |
Dagstuhl Reports |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Mickael Randour, Jean-François Raskin |
Strategy Synthesis for Multi-Dimensional Quantitative Objectives. |
CONCUR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Monika Henzinger, Sebastian Krinninger, Danupon Nanongkai |
Polynomial-Time Algorithms for Energy Games with Special Weight Structures. |
ESA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Monika Henzinger |
An O(n2) time algorithm for alternating Büchi games. |
SODA |
2012 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu |
Finite automata with time-delay blocks. |
EMSOFT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Martin Chmelik, Rupak Majumdar |
Equivalence of Games with Probabilistic Uncertainty and Partial-Observation Games. |
ATVA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Rasmus Ibsen-Jensen |
Strategy Complexity of Finite-Horizon Markov Decision Processes and Simple Stochastic Games. |
MEMICS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný |
Efficient Controller Synthesis for Consumption Games with Multiple Resource Types. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Mathieu Tracol |
Decidable Problems for Probabilistic Automata on Infinite Words. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen |
Partial-Observation Stochastic Games: How to Win When Belief Fails. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Yaron Velner |
Mean-Payoff Pushdown Games. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Vishwanath Raman |
Synthesizing Protocols for Digital Contract Signing. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Siddhesh Chaubal, Pritish Kamath |
Faster Algorithms for Alternating Refinement Relations. |
CSL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee |
Robustness of Structurally Equivalent Concurrent Parity Games. |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Manas Joglekar, Nisarg Shah |
Average Case Analysis of the Classical Algorithm for Markov Decision Processes with Büchi Objectives. |
FSTTCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Monika Henzinger, Manas Joglekar, Nisarg Shah |
Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen |
Energy and Mean-Payoff Parity Markov Decision Processes |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu |
Timed Parity Games: Complexity and Robustness |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Václav Brozek, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera |
Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh 0002 |
Quantitative Synthesis for Concurrent Programs |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Nathanaël Fijalkow |
Finitary languages |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Luca de Alfaro, Pritam Roy |
Magnifying Lens Abstraction for Stochastic Games with Discounted and Long-run Average Objectives |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Mathieu Tracol |
Decidable Problems for Probabilistic Automata on Infinite Words |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Monika Henzinger |
An O(n^2) Time Algorithm for Alternating Büchi Games |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee |
Bounded Rationality in Concurrent Parity Games |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Rohit Singh 0002 |
On Memoryless Quantitative Objectives |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Nathanaël Fijalkow |
A reduction from parity games to simple stochastic games |
GandALF |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee |
Robustness of Structurally Equivalent Concurrent Parity Games |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen |
Partial-Observation Stochastic Games: How to Win when Belief Fails |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Vinayak S. Prabhu |
Synthesis of Memory-Efficient Real-Time Controllers for Safety Objectives (Full Version) |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger, Mathieu Tracol |
The Decidability Frontier for Probabilistic Automata on Infinite Words |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger |
Qualitative concurrent parity games. |
ACM Trans. Comput. Log. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Monika Henzinger |
Faster and Dynamic Algorithms for Maximal End-Component Decomposition and Related Graph Problems in Probabilistic Verification. |
SODA |
2011 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger, Florian Horn |
The Complexity of Request-Response Games. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Nathanaël Fijalkow |
Finitary Languages. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh 0002 |
QUASY: Quantitative Synthesis Tool. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Rupak Majumdar |
Minimum Attention Controller Synthesis for Omega-Regular Objectives. |
FORMATS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen |
Energy and Mean-Payoff Parity Markov Decision Processes. |
MFCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee |
Graph Games with Reachability Objectives - (Invited Talk). |
RP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Rohit Singh 0002 |
On Memoryless Quantitative Objectives. |
FCT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann |
Specification-centered robustness. |
SIES |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger |
The Complexity of Quantitative Information Flow Problems. |
CSF |
2011 |
DBLP DOI BibTeX RDF |
quantitative information flow, computational complexity, verification, synthesis |
| 1 | Krishnendu Chatterjee, Laurent Doyen |
Games and Markov Decision Processes with Mean-Payoff Parity and Energy Parity Objectives. |
MEMICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh 0002 |
Quantitative Synthesis for Concurrent Programs. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Monika Henzinger, Manas Joglekar, Nisarg Shah |
Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Vinayak S. Prabhu |
Synthesis of memory-efficient "real-time" controllers for safety objectives. |
HSCC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Udi Boker, Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman |
Temporal Specifications with Accumulative Values. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Václav Brozek, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera |
Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger |
Strategy construction for parity games with imperfect information. |
Inf. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman |
Strategy logic. |
Inf. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin |
Generalized Mean-payoff and Energy Games |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Arjun Radhakrishna |
GIST: A Solver for Probabilistic Games |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen |
Energy Parity Games |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Vishwanath Raman |
Assume-Guarantee Synthesis for Digital Contract Signing |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Yashdeep Godhal, Krishnendu Chatterjee, Thomas A. Henzinger |
Synthesis of AMBA AHB from Formal Specification |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Rupak Majumdar |
Discounting in Games across Time Scales |
GANDALF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert, Thomas A. Henzinger |
Randomness for Free |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh 0002 |
Measuring and Synthesizing Systems in Probabilistic Environments |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar, Vishwanath Raman |
Algorithms for Game Metrics (Full Version) |
Logical Methods in Computer Science |
2010 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Herbert Edelsbrunner, Thomas A. Henzinger, Philippe Rannou |
Mean-payoff Automaton Expressions |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger |
Expressiveness and Closure Properties for Quantitative Languages |
Logical Methods in Computer Science |
2010 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger |
Quantitative languages. |
ACM Trans. Comput. Log. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Florian Horn, Christof Löding |
Obliging Games. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Herbert Edelsbrunner, Thomas A. Henzinger, Philippe Rannou |
Mean-Payoff Automaton Expressions. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen |
The Complexity of Partial-Observation Parity Games. |
LPAR (Yogyakarta) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen |
Energy Parity Games. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger (eds.) |
Formal Modeling and Analysis of Timed Systems - 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings |
FORMATS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert, Thomas A. Henzinger |
Randomness for Free. |
MFCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger |
Qualitative Analysis of Partially-Observable Markov Decision Processes. |
MFCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger |
Probabilistic Automata on Infinite Words: Decidability and Undecidability Results. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")