Krishnendu Chatterjee

	2009
75		Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann: Better Quality in Synthesis through Quantitative Objectives. CAV 2009: 140-156
74		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: Probabilistic Weighted Automata. CONCUR 2009: 244-258
73		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: Alternating Weighted Automata. FCT 2009: 3-13
72		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: A Survey of Stochastic Games with Limsup and Liminf Objectives. ICALP (2) 2009: 1-15
71		Krishnendu Chatterjee, Thomas A. Henzinger, Florian Horn: Stochastic Games with Finitary Objectives. MFCS 2009: 34-54
70		Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger: Termination criteria for solving concurrent safety and reachability games. SODA 2009: 197-206
69		Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger: Alpaga: A Tool for Solving Parity Games with Imperfect Information. TACAS 2009: 58-61
68		Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger: Alpaga: A Tool for Solving Parity Games with Imperfect Information CoRR abs/0901.4728: (2009)
67		Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann: Better Quality in Synthesis through Quantitative Objectives CoRR abs/0904.2638: (2009)
66		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: Expressiveness and Closure Properties for Quantitative Languages CoRR abs/0905.2195: (2009)
65		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: Qualitative Analysis of Partially-observable Markov Decision Processes CoRR abs/0909.1645: (2009)
64		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: Probabilistic Weighted Automata CoRR abs/0909.1647: (2009)
63		Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Axel Legay: Qualitative Logics and Equivalences for Probabilistic Systems Logical Methods in Computer Science 5(2): (2009)
	2008
62		Krishnendu Chatterjee, Thomas A. Henzinger: Value Iteration. 25 Years of Model Checking 2008: 107-138
61		Krishnendu Chatterjee, Luca de Alfaro, Ian Pye: Robust content-driven reputation. AISec 2008: 33-42
60		Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar: The Complexity of Coverage. APLAS 2008: 91-106
59		Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann: Environment Assumptions for Synthesis. CONCUR 2008: 147-161
58		Dietmar Berwanger, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Sangram Raje: Strategy Construction for Parity Games with Imperfect Information. CONCUR 2008: 325-339
57		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: Quantitative Languages. CSL 2008: 385-400
56		Krishnendu Chatterjee, Arkadeb Ghosal, Thomas A. Henzinger, Daniel T. Iercan, Christoph M. Kirsch, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli: Logical Reliability of Interacting Real-Time Tasks. DATE 2008: 909-914
55		Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu: Timed Parity Games: Complexity and Robustness. FORMATS 2008: 124-140
54		Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar, Vishwanath Raman: Algorithms for Game Metrics. FSTTCS 2008
53		Krishnendu Chatterjee, Koushik Sen, Thomas A. Henzinger: Model-Checking omega-Regular Properties of Interval Markov Chains. FoSSaCS 2008: 302-317
52		Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger: Controller Synthesis with Budget Constraints. HSCC 2008: 72-86
51		Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu: Trading Infinite Memory for Uniform Randomness in Timed Games. HSCC 2008: 87-100
50		Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar: The Complexity of Coverage CoRR abs/0804.4525: (2008)
49		Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger: Strategy Improvement for Concurrent Safety Games CoRR abs/0804.4530: (2008)
48		Krishnendu Chatterjee: Linear Time Algorithm for Weak Parity Games CoRR abs/0805.1391: (2008)
47		Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman: Algorithms for Büchi Games CoRR abs/0805.2620: (2008)
46		Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger: Stochastic Limit-Average Games are in EXPTIME CoRR abs/0805.2622: (2008)
45		Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann: Environment Assumptions for Synthesis CoRR abs/0805.4167: (2008)
44		Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu: Timed Parity Games: Complexity and Robustness CoRR abs/0807.1165: (2008)
43		Krishnendu Chatterjee, Thomas A. Henzinger: Probabilistic Systems with LimSup and LimInf Objectives CoRR abs/0809.1465: (2008)
42		Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger: Termination Criteria for Solving Concurrent Safety and Reachability Games CoRR abs/0809.4017: (2008)
41		Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar, Vishwanath Raman: Algorithms for Game Metrics (Full Version) CoRR abs/0809.4326: (2008)
40		Krishnendu Chatterjee, Thomas A. Henzinger: Reduction of stochastic parity to stochastic mean-payoff games. Inf. Process. Lett. 106(1): 1-7 (2008)
	2007
39		Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman: Strategy Logic. CONCUR 2007: 59-73
38		Krishnendu Chatterjee: Stochastic Müller Games are PSPACE-Complete. FSTTCS 2007: 436-448
37		Krishnendu Chatterjee: Markov Decision Processes with Multiple Long-Run Average Objectives. FSTTCS 2007: 473-484
36		Krishnendu Chatterjee: Optimal Strategy Synthesis in Stochastic Müller Games. FoSSaCS 2007: 138-152
35		Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman: Generalized Parity Games. FoSSaCS 2007: 153-167
34		Luca de Alfaro, Krishnendu Chatterjee, Marco Faella, Axel Legay: Qualitative Logics and Equivalences for Probabilistic Systems. QEST 2007: 237-248
33		Krishnendu Chatterjee, Thomas A. Henzinger: Assume-Guarantee Synthesis. TACAS 2007: 261-275
32		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin: Algorithms for Omega-Regular Games with Imperfect Information CoRR abs/0706.2619: (2007)
31		Jean-François Raskin, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: Algorithms for Omega-Regular Games with Imperfect Information. Logical Methods in Computer Science 3(3): (2007)
30		Krishnendu Chatterjee: Concurrent games with tail objectives. Theor. Comput. Sci. 388(1-3): 181-198 (2007)
	2006
29		Krishnendu Chatterjee, Thomas A. Henzinger: Strategy Improvement for Stochastic Rabin and Streett Games. CONCUR 2006: 375-389
28		Krishnendu Chatterjee, Radha Jagadeesan, Corin Pitcher: Games for Controls. CSFW 2006: 70-84
27		Krishnendu Chatterjee: Concurrent Games with Tail Objectives. CSL 2006: 256-270
26		Krishnendu Chatterjee: Nash Equilibrium for Upward-Closed Objectives. CSL 2006: 271-286
25		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin: Algorithms for Omega-Regular Games with Imperfect Information, . CSL 2006: 287-302
24		Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga: Compositional Quantitative Reasoning. QEST 2006: 179-188
23		Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger: Strategy Improvement for Concurrent Reachability Games. QEST 2006: 291-300
22		Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger: The complexity of quantitative concurrent parity games. SODA 2006: 678-687
21		Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger: Markov Decision Processes with Multiple Objectives. STACS 2006: 325-336
20		Krishnendu Chatterjee, Thomas A. Henzinger: Strategy Improvement and Randomized Subexponential Algorithms for Stochastic Parity Games. STACS 2006: 512-523
19		Krishnendu Chatterjee, Thomas A. Henzinger: Finitary Winning in omega-Regular Games. TACAS 2006: 257-271
18		Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski: Games with secure equilibria. Theor. Comput. Sci. 365(1-2): 67-82 (2006)
	2005
17		Arindam Chakrabarti, Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar: Verifying Quantitative Properties Using Bound Functions. CHARME 2005: 50-64
16		Krishnendu Chatterjee: Two-Player Nonzero-Sum omega-Regular Games. CONCUR 2005: 413-427
15		Krishnendu Chatterjee, Thomas A. Henzinger: Semiperfect-Information Games. FSTTCS 2005: 1-18
14		Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger: The Complexity of Stochastic Rabin and Streett Games'. ICALP 2005: 878-890
13		Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski: Mean-Payoff Parity Games. LICS 2005: 178-187
12		Krishnendu Chatterjee, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Counterexample-guided Planning. UAI 2005: 104-111
	2004
11		Krishnendu Chatterjee, Rupak Majumdar, Marcin Jurdzinski: On Nash Equilibria in Stochastic Games. CSL 2004: 26-40
10		Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski: Games with Secure Equilibria. FMCO 2004: 141-161
9		Krishnendu Chatterjee, Pallab Dasgupta, P. P. Chakrabarti: Complexity of Compositional Model Checking of Computation Tree Logic on Simple Structures. IWDC 2004: 102-113
8		Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski: Games with Secure Equilibria. LICS 2004: 160-169
7		Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger: Trading Memory for Randomness. QEST 2004: 206-217
6		Krishnendu Chatterjee, Marcin Jurdzinski, Thomas A. Henzinger: Quantitative stochastic parity games. SODA 2004: 121-130
5		Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg: Stack size analysis for interrupt-driven programs. Inf. Comput. 194(2): 144-174 (2004)
4		Krishnendu Chatterjee, Pallab Dasgupta, P. P. Chakrabarti: The power of first-order quantification over states in branching and linear time temporal logics. Inf. Process. Lett. 91(5): 201-210 (2004)
	2003
3		Krishnendu Chatterjee, Marcin Jurdzinski, Thomas A. Henzinger: Simple Stochastic Parity Games. CSL 2003: 100-113
2		Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg: Stack Size Analysis for Interrupt-Driven Programs. SAS 2003: 109-126
1		Krishnendu Chatterjee, Pallab Dasgupta, P. P. Chakrabarti: A Branching Time Temporal Framework for Quantitative Reasoning. J. Autom. Reasoning 30(2): 205-232 (2003)

Coauthor Index

1	Luca de Alfaro	[7] [14] [22] [23] [24] [34] [41] [42] [49] [50] [54] [60] [61] [63] [70]
2	Dietmar Berwanger	[58] [68] [69]
3	Roderick Bloem	[67] [75]
4	Arindam Chakrabarti	[17]
5	P. P. Chakrabarti (Partha Pratim Chakrabarti)	[1] [4] [9]
6	Pallab Dasgupta	[1] [4] [9]
7	Laurent Doyen	[25] [31] [32] [57] [58] [64] [65] [66] [68] [69] [72] [73] [74]
8	Marco Faella	[24] [34] [63]
9	Arkadeb Ghosal	[56]
10	Thomas A. Henzinger	[2] [3] [5] [6] [7] [8] [10] [12] [13] [14] [15] [17] [18] [19] [20] [21] [22] [23] [24] [25] [29] [31] [32] [33] [35] [39] [40] [42] [43] [44] [45] [46] [47] [49] [51] [52] [53] [55] [56] [57] [58] [59] [62] [64] [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75]
11	Florian Horn	[71]
12	Daniel T. Iercan	[56]
13	Radha Jagadeesan	[28]
14	Ranjit Jhala	[12]
15	Barbara Jobstmann	[45] [59] [67] [75]
16	Marcin Jurdzinski	[3] [6] [8] [10] [11] [13] [18]
17	Christoph M. Kirsch (Christoph Meyer)	[56]
18	Orna Kupferman	[17]
19	Axel Legay	[34] [63]
20	Di Ma	[2] [5]
21	Rupak Majumdar	[2] [5] [11] [12] [17] [21] [24] [41] [46] [50] [52] [54] [60]
22	Jens Palsberg	[2] [5]
23	Claudio Pinello	[56]
24	Corin Pitcher	[28]
25	Nir Piterman	[35] [39] [47]
26	Vinayak S. Prabhu	[44] [51] [55]
27	Ian Pye	[61]
28	Sangram Raje	[58]
29	Vishwanath Raman	[41] [54]
30	Jean-François Raskin	[25] [31] [32]
31	Alberto L. Sangiovanni-Vincentelli	[56]
32	Koushik Sen	[53]
33	Mariëlle Stoelinga	[24]
34	Martin De Wulf	[68] [69]
35	Tian Zhao	[2] [5]