| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 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, 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 |
Mean-Payoff Pushdown Games |
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 | Krishnendu Chatterjee, Monika Henzinger |
An O(n2) time algorithm for alternating Büchi games. |
SODA |
2012 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Vishwanath Raman |
Synthesizing Protocols for Digital Contract Signing. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee |
Robustness of Structurally Equivalent Concurrent Parity Games. |
FoSSaCS |
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 |
|
| 1 | Krishnendu Chatterjee, Luca de Alfaro, Vishwanath Raman, César Sánchez |
Analyzing the Impact of Change in Multi-threaded Programs. |
FASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh 0002 |
Measuring and Synthesizing Systems in Probabilistic Environments. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann |
Robustness in the Presence of Liveness. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Arjun Radhakrishna |
Gist: A Solver for Probabilistic Games. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin |
Generalized Mean-payoff and Energy Games. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger |
Expressiveness and Closure Properties for Quantitative Languages |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann |
Better Quality in Synthesis through Quantitative Objectives |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger |
Alpaga: A Tool for Solving Parity Games with Imperfect Information |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger |
Probabilistic Weighted Automata |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger |
Qualitative Analysis of Partially-observable Markov Decision Processes |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Axel Legay |
Qualitative Logics and Equivalences for Probabilistic Systems |
Logical Methods in Computer Science |
2009 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger, Florian Horn |
Finitary winning in omega-regular games. |
ACM Trans. Comput. Log. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger |
Probabilistic Weighted Automata. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger |
Termination criteria for solving concurrent safety and reachability games. |
SODA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger |
Alpaga: A Tool for Solving Parity Games with Imperfect Information. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger |
A Survey of Stochastic Games with Limsup and Liminf Objectives. |
ICALP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger, Florian Horn |
Stochastic Games with Finitary Objectives. |
MFCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger |
Alternating Weighted Automata. |
FCT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann |
Better Quality in Synthesis through Quantitative Objectives. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger |
Expressiveness and Closure Properties for Quantitative Languages. |
LICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger |
Reduction of stochastic parity to stochastic mean-payoff games. |
Inf. Process. Lett. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger |
Stochastic limit-average games are in EXPTIME. |
Int. J. Game Theory |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann |
Environment Assumptions for Synthesis |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman |
Algorithms for Büchi Games |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger |
Stochastic Limit-Average Games are in EXPTIME |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger |
Termination Criteria for Solving Concurrent Safety and Reachability Games |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee |
Linear Time Algorithm for Weak Parity Games |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar |
The Complexity of Coverage |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger |
Strategy Improvement for Concurrent Safety Games |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu |
Timed Parity Games: Complexity and Robustness |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger |
Probabilistic Systems with LimSup and LimInf Objectives |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Dietmar Berwanger, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Sangram Raje |
Strategy Construction for Parity Games with Imperfect Information. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")