×

zbMATH — the first resource for mathematics

Chatterjee, Krishnendu

Compute Distance To:
Author ID: chatterjee.krishnendu Recent zbMATH articles by "Chatterjee, Krishnendu"
Published as: Chatterjee, Krishnendu; Chatterjee, K.
Homepage: http://pub.ist.ac.at/~kchatterjee/
External Links: MGP · ORCID · Wikidata · Google Scholar · dblp · GND
Documents Indexed: 205 Publications since 2003, including 2 Books
all top 5

Co-Authors

11 single-authored
70 Henzinger, Thomas A.
35 Doyen, Laurent
16 Majumdar, Rupak
16 Rauch Henzinger, Monika
13 Ibsen-Jensen, Rasmus
11 Chmelík, Martin
10 de Alfaro, Luca
10 Otop, Jan
10 Raskin, Jean-François
9 Velner, Yaron
8 Brázdil, Tomáš
8 Křetínský, Jan
8 Loitzenbauer, Veronika
7 Pavlogiannis, Andreas
7 Prabhu, Vinayak S.
6 Jobstmann, Barbara
6 Nowak, Martin Andreas
5 Dvořák, Wolfgang
5 Forejt, Vojtěch
5 Jurdziński, Marcin
5 Kucera, Antonin
5 Novotný, Petr
5 Raman, Vishwanath
4 Bloem, Roderick
4 Fu, Hongfei
4 Horn, Florian
4 Krinninger, Sebastian
4 Piterman, Nir
4 Randour, Mickael
3 Belta, Calin
3 Černá, Ivana
3 Chakrabarti, Partha Pratim
3 Dasgupta, Pallab
3 Fijalkow, Nathanaël
3 Gimbert, Hugo
3 Goharshady, Amir Kafshdar
3 Joglekar, Manas R.
3 Schmid, Ulrich
3 Shah, Nisarg
3 Singh, Rohit R.
3 Svoreňová, Mária
3 Tracol, Mathieu
3 Vardi, Moshe Y.
2 Berwanger, Dietmar
2 Chaubal, Siddhesh
2 Faella, Marco
2 Filiot, Emmanuel
2 Könighofer, Robert
2 Kößler, Alexander
2 Kupferman, Orna
2 Ma, Di
2 Nanongkai, Danupon
2 Palsberg, Jens
2 Priklopil, Tadeas
2 Sgall, Jiří
2 Svozil, Alexander
2 Velan, Dominik
2 Zhao, Tian
1 Adlam, Ben
1 Ashok, Pranav
1 Bansal, Suguman
1 Bérard, Béatrice
1 Boker, Udi
1 Brožek, Václav
1 Chakrabarti, Arindam
1 Daca, Przemysław
1 De Wulf, Martin
1 Edelsbrunner, Herbert
1 Ehlers, Rüdiger
1 Eniser, Hasan Ferit
1 Fellner, Andreas
1 Goyal, Prateesh
1 Greimel, Karin
1 Gupta, Raghav
1 Hansen, Kristoffer Arnsfelt
1 Hasheminezhad, Rouzbeh
1 Hofferek, Georg
1 Jacobs, Swen
1 Kafshdar, Goharshady Amir
1 Kamath, Pritish
1 Kanodia, Ayush
1 Komárková, Zuzana
1 Könighofer, Bettina
1 Kragl, Bernhard
1 Křetínská, Zuzana
1 Kwiatkowska, Marta Z.
1 Leahy, Kevin
1 Legay, Axel
1 Löding, Christof
1 Mishra, Samarth
1 Nain, Sumit
1 Novak, Sebastian
1 Osang, Georg
1 Oualhadj, Youssouf
1 Rabinovich, Alexander
1 Raje, Sangram
1 Rannou, Philippe
1 Raskin, Michael A.
1 Reiter, Johannes G.
1 Rubin, Sasha
...and 11 more Co-Authors

Publications by Year

Citations contained in zbMATH Open

159 Publications have been cited 1,027 times in 415 Documents Cited by Year
Strategy logic. Zbl 1205.68197
Chatterjee, Krishnendu; Henzinger, Thomas A.; Piterman, Nir
39
2010
Better quality in synthesis through quantitative objectives. Zbl 1242.68151
Bloem, Roderick; Chatterjee, Krishnendu; Henzinger, Thomas A.; Jobstmann, Barbara
39
2009
Quantitative languages. Zbl 1156.68449
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
33
2008
Quantitative languages. Zbl 1351.68155
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
33
2010
Quantitative stochastic parity games. Zbl 1318.91027
Chatterjee, Krishnendu; Jurdziński, Marcin; Henzinger, Thomas A.
30
2004
Games with secure equilibria. Zbl 1108.91007
Chatterjee, Krishnendu; Henzinger, Thomas A.; Jurdziński, Marcin
25
2006
Generalized mean-payoff and energy games. Zbl 1245.68090
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.; Raskin, Jean-François
24
2010
On Nash equilibria in stochastic games. Zbl 1095.91001
Chatterjee, Krishnendu; Majumdar, Rupak; Jurdziński, Marcin
22
2004
Simple stochastic parity games. Zbl 1116.68493
Chatterjee, Krishnendu; Jurdziński, Marcin; Henzinger, Thomas A.
22
2003
Algorithms for omega-regular games with imperfect information. Zbl 1125.91028
Raskin, Jean-Francois; Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
21
2007
Strategy logic. Zbl 1151.03327
Chatterjee, Krishnendu; Henzinger, Thomas A.; Piterman, Nir
19
2007
Faster and dynamic algorithms for maximal end-component decomposition and related graph problems in probabilistic verification. Zbl 1374.68272
Chatterjee, Krishnendu; Henzinger, Monika
19
2011
A survey of stochastic \(\omega \)-regular games. Zbl 1237.91036
Chatterjee, Krishnendu; Henzinger, Thomas A.
19
2012
Synthesizing robust systems. Zbl 1302.93079
Bloem, Roderick; Chatterjee, Krishnendu; Greimel, Karin; Henzinger, Thomas A.; Hofferek, Georg; Jobstmann, Barbara; Könighofer, Bettina; Könighofer, Robert
18
2014
Algorithms for omega-regular games with imperfect information. Zbl 1225.91012
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.; Raskin, Jean-François
18
2006
Expressiveness and closure properties for quantitative languages. Zbl 1200.68135
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
17
2010
Alternating weighted automata. Zbl 1252.68167
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
17
2009
Finitary winning in \({\omega}\)-regular games. Zbl 1351.68156
Chatterjee, Krishnendu; Henzinger, Thomas A.; Horn, Florian
16
2009
Markov decision processes with multiple objectives. Zbl 1136.90498
Chatterjee, Krishnendu; Majumdar, Rupak; Henzinger, Thomas A.
15
2006
Efficient and dynamic algorithms for alternating Büchi games and maximal end-component decomposition. Zbl 1295.91019
Chatterjee, Krishnendu; Henzinger, Monika
14
2014
The complexity of stochastic Rabin and Streett games. Zbl 1085.68060
Chatterjee, Krishnendu; de Alfaro, Luca; Henzinger, Thomas A.
13
2005
Assume-guarantee synthesis. Zbl 1186.68284
Chatterjee, Krishnendu; Henzinger, Thomas A.
13
2007
Energy parity games. Zbl 1260.91039
Chatterjee, Krishnendu; Doyen, Laurent
13
2012
Model-checking \(\omega \)-regular properties of interval Markov chains. Zbl 1138.68441
Chatterjee, Krishnendu; Sen, Koushik; Henzinger, Thomas A.
12
2008
The complexity of multi-mean-payoff and multi-energy games. Zbl 1309.68082
Velner, Yaron; Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.; Rabinovich, Alexander; Raskin, Jean-François
12
2015
Environment assumptions for synthesis. Zbl 1160.68437
Chatterjee, Krishnendu; Henzinger, Thomas A.; Jobstmann, Barbara
12
2008
Stochastic limit-average games are in EXPTIME. Zbl 1154.91004
Chatterjee, Krishnendu; Majumdar, Rupak; Henzinger, Thomas A.
11
2008
Strategy synthesis for multi-dimensional quantitative objectives. Zbl 1360.68208
Chatterjee, Krishnendu; Randour, Mickael; Raskin, Jean-François
11
2014
Energy parity games. Zbl 1288.68160
Chatterjee, Krishnendu; Doyen, Laurent
11
2010
Concurrent games with tail objectives. Zbl 1177.91031
Chatterjee, Krishnendu
10
2007
The complexity of quantitative concurrent parity games. Zbl 1192.68430
Chatterjee, Krishnendu; de Alfaro, Luca; Henzinger, Thomas A.
10
2006
Qualitative analysis of partially-observable Markov decision processes. Zbl 1287.68104
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
10
2010
Finitary winning in \(\omega\)-regular games. Zbl 1180.68171
Chatterjee, Krishnendu; Henzinger, Thomas A.
9
2006
Randomness for free. Zbl 1287.91027
Chatterjee, Krishnendu; Doyen, Laurent; Gimbert, Hugo; Henzinger, Thomas A.
9
2010
Temporal specifications with accumulative values. Zbl 1354.68169
Boker, Udi; Chatterjee, Krishnendu; Henzinger, Thomas A.; Kupferman, Orna
9
2014
Probabilistic weighted automata. Zbl 1254.68133
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
9
2009
Value iteration. Zbl 1143.68042
Chatterjee, Krishnendu; Henzinger, Thomas A.
8
2008
What is decidable about partially observable Markov decision processes with omega-regular objectives. Zbl 1356.68142
Chatterjee, Krishnendu; Chmelik, Martin; Tracol, Mathieu
8
2013
Nash equilibrium for upward-closed objectives. Zbl 1225.91009
Chatterjee, Krishnendu
8
2006
The complexity of partial-observation stochastic parity games with finite-memory strategies. Zbl 1405.68135
Chatterjee, Krishnendu; Doyen, Laurent; Nain, Sumit; Vardi, Moshe Y.
8
2014
Verification of Markov decision processes using learning algorithms. Zbl 1448.68290
Brázdil, Tomáš; Chatterjee, Krishnendu; Chmelík, Martin; Forejt, Vojtěch; Křetínský, Jan; Kwiatkowska, Marta; Parker, David; Ujma, Mateusz
7
2014
Semiperfect-information games. Zbl 1172.68540
Chatterjee, Krishnendu; Henzinger, Thomas A.
7
2005
Decidable problems for probabilistic automata on infinite words. Zbl 1360.68546
Chatterjee, Krishnendu; Tracol, Mathieu
7
2012
Partial-observation stochastic games, how to win when belief fails. Zbl 1291.91021
Chatterjee, Krishnendu; Doyen, Laurent
7
2014
Probabilistic opacity for Markov decision processes. Zbl 1366.68213
Bérard, Béatrice; Chatterjee, Krishnendu; Sznajder, Nathalie
7
2015
Graph games and reactive synthesis. Zbl 1392.68233
Bloem, Roderick; Chatterjee, Krishnendu; Jobstmann, Barbara
7
2018
Code aware resource management. Zbl 1291.68137
Chatterjee, Krishnendu; De Alfaro, Luca; Faella, Marco; Majumdar, Rupak; Raman, Vishwanath
6
2013
A survey of partial-observation stochastic parity games. Zbl 1291.91022
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
6
2013
The complexity of partial-observation parity games. Zbl 1298.91050
Chatterjee, Krishnendu; Doyen, Laurent
6
2010
Looking at mean-payoff and total-payoff through windows. Zbl 1317.68065
Chatterjee, Krishnendu; Doyen, Laurent; Randour, Mickael; Raskin, Jean-François
6
2015
Amplifiers of selection. Zbl 1371.92093
Adlam, B.; Chatterjee, K.; Nowak, M. A.
6
2015
Nested weighted automata. Zbl 1401.68154
Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan
6
2015
Mean-payoff automaton expressions. Zbl 1287.68093
Chatterjee, Krishnendu; Doyen, Laurent; Edelsbrunner, Herbert; Henzinger, Thomas A.; Rannou, Philippe
6
2010
Qualitative concurrent parity games. Zbl 1351.68179
Chatterjee, Krishnendu; De Alfaro, Luca; Henzinger, Thomas A.
6
2011
Hyperplane separation technique for multidimensional mean-payoff games. Zbl 1371.68106
Chatterjee, Krishnendu; Velner, Yaron
6
2013
Markov decision processes with multiple long-run average objectives. Zbl 1326.90101
Brázdil, Tomáš; Brožek, Václav; Chatterjee, Krishnendu; Forejt, Vojtěch; Kučera, Antonín
5
2014
Markov decision processes with multiple long-run average objectives. Zbl 1135.90427
Chatterjee, Krishnendu
5
2007
Verifying quantitative properties using bound functions. Zbl 1159.68313
Chakrabarti, Arindam; Chatterjee, Krishnendu; Henzinger, Thomas A.; Kupferman, Orna; Majumdar, Rupak
5
2005
Mean-payoff pushdown games. Zbl 1361.68137
Chatterjee, Krishnendu; Velner, Yaron
5
2012
Games with a weak adversary. Zbl 1409.68169
Chatterjee, Krishnendu; Doyen, Laurent
5
2014
The complexity of ergodic mean-payoff games. Zbl 1410.68156
Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus
5
2014
Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives. Zbl 1291.68251
Chatterjee, Krishnendu; Henzinger, Monika; Joglekar, Manas; Shah, Nisarg
5
2013
Doomsday equilibria for omega-regular games. Zbl 1428.68181
Chatterjee, Krishnendu; Doyen, Laurent; Filiot, Emmanuel; Raskin, Jean-François
5
2014
Polynomial-time algorithms for energy games with special weight structures. Zbl 1303.91048
Chatterjee, Krishnendu; Henzinger, Monika; Krinninger, Sebastian; Nanongkai, Danupon
5
2014
Energy and mean-payoff parity Markov decision processes. Zbl 1343.90107
Chatterjee, Krishnendu; Doyen, Laurent
5
2011
Quantitative automata under probabilistic semantics. Zbl 1401.68155
Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan
5
2016
Generalized parity games. Zbl 1195.68053
Chatterjee, Krishnendu; Henzinger, Thomas A.; Piterman, Nir
5
2007
Timed parity games: complexity and robustness. Zbl 1237.68112
Chatterjee, Krishnendu; Henzinger, Thomas A.; Prabhu, Vinayak S.
5
2011
Reduction of stochastic parity to stochastic mean-payoff games. Zbl 1186.68306
Chatterjee, Krishnendu; Henzinger, Thomas A.
4
2008
Strategy improvement and randomized subexponential algorithms for stochastic parity games. Zbl 1136.91322
Chatterjee, Krishnendu; Henzinger, Thomas A.
4
2006
Partial-observation stochastic games: how to win when belief fails. Zbl 1362.91008
Chatterjee, Krishnendu; Doyen, Laurent
4
2012
POMDPs under probabilistic semantics. Zbl 1329.90158
Chatterjee, Krishnendu; Chmelík, Martin
4
2015
Faster algorithms for algebraic path properties in recursive state machines with constant treewidth. Zbl 1346.68047
Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus; Pavlogiannis, Andreas; Goyal, Prateesh
4
2015
Infinite-state games with finitary conditions. Zbl 1356.68059
Chatterjee, Krishnendu; Fijalkow, Nathanaël
4
2013
Evolutionary game dynamics in populations with different learners. Zbl 1397.91062
Chatterjee, Krishnendu; Zufferey, Damien; Nowak, Martin A.
4
2012
A survey of stochastic games with limsup and liminf objectives. Zbl 1248.91015
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
4
2009
Algorithms for game metrics. Zbl 1214.68245
Chatterjee, Krishnendu; de Alfaro, Luca; Majumdar, Rupak; Raman, Vishwanath
4
2010
Robustness of structurally equivalent concurrent parity games. Zbl 1352.68178
Chatterjee, Krishnendu
4
2012
Strategy synthesis for multi-dimensional quantitative objectives. Zbl 1364.68278
Chatterjee, Krishnendu; Randour, Mickael; Raskin, Jean-François
4
2012
Polynomial-time algorithms for energy games with special weight structures. Zbl 1365.68274
Chatterjee, Krishnendu; Henzinger, Monika; Krinninger, Sebastian; Nanongkai, Danupon
4
2012
Measuring and synthesizing systems in probabilistic environments. Zbl 1321.68344
Chatterjee, Krishnendu; Henzinger, Thomas A.; Jobstmann, Barbara; Singh, Rohit
4
2015
Multi-objective discounted reward verification in graphs and MDPs. Zbl 1406.68051
Chatterjee, Krishnendu; Forejt, Vojtěch; Wojtczak, Dominik
4
2013
Trading performance for stability in Markov decision processes. Zbl 1366.68087
Brázdil, Tomáš; Chatterjee, Krishnendu; Forejt, Vojtěch; Kučera, Antonín
4
2013
Controller synthesis with budget constraints. Zbl 1144.93312
Chatterjee, Krishnendu; Majumdar, Rupak; Henzinger, Thomas A.
4
2008
The complexity of stochastic Müller games. Zbl 1238.91022
Chatterjee, Krishnendu
4
2012
Probabilistic automata on infinite words: decidability and undecidability results. Zbl 1305.68112
Chatterjee, Krishnendu; Henzinger, Thomas A.
3
2010
Automated analysis of real-time scheduling using graph games. Zbl 1361.90021
Chatterjee, Krishnendu; Kößler, Alexander; Schmid, Ulrich
3
2013
Looking at mean-payoff and total-payoff through windows. Zbl 1415.91065
Chatterjee, Krishnendu; Doyen, Laurent; Randour, Mickael; Raskin, Jean-François
3
2013
Strategy construction for parity games with imperfect information. Zbl 1232.91007
Berwanger, Dietmar; Chatterjee, Krishnendu; De Wulf, Martin; Doyen, Laurent; Henzinger, Thomas A.
3
2010
Qualitative concurrent parity games: bounded rationality. Zbl 1417.68122
Chatterjee, Krishnendu
3
2014
Optimal cost almost-sure reachability in POMDPs. Zbl 1351.68307
Chatterjee, Krishnendu; Chmelík, Martin; Gupta, Raghav; Kanodia, Ayush
3
2016
Assume-guarantee synthesis for digital contract signing. Zbl 1342.94068
Chatterjee, Krishnendu; Raman, Vishwanath
3
2014
Quantitative interprocedural analysis. Zbl 1345.68098
Chatterjee, Krishnendu; Pavlogiannis, Andreas; Velner, Yaron
3
2015
Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs. Zbl 1347.68075
Chatterjee, Krishnendu; Fu, Hongfei; Novotný, Petr; Hasheminezhad, Rouzbeh
3
2016
Termination analysis of probabilistic programs through Positivstellensatz’s. Zbl 1411.68025
Chatterjee, Krishnendu; Fu, Hongfei; Goharshady, Amir Kafshdar
3
2016
Evolutionary dynamics of biological auctions. Zbl 1322.92053
Chatterjee, Krishnendu; Reiter, Johannes G.; Nowak, Martin A.
3
2012
Strategy construction for parity games with imperfect information. Zbl 1160.68455
Berwanger, Dietmar; Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.; Raje, Sangram
3
2008
Timed parity games: Complexity and robustness. Zbl 1171.68527
Chatterjee, Krishnendu; Henzinger, Thomas A.; Prabhu, Vinayak S.
3
2008
Strategy improvement for stochastic Rabin and Streett games. Zbl 1151.68474
Chatterjee, Krishnendu; Henzinger, Thomas A.
3
2006
Edit distance for pushdown automata. Zbl 1440.68151
Chatterjee, Krishnendu; Henzinger, Thomas A.; Ibsen-Jensen, Rasmus; Otop, Jan
3
2015
Termination of nondeterministic probabilistic programs. Zbl 07157059
Fu, Hongfei; Chatterjee, Krishnendu
1
2019
Graph games and reactive synthesis. Zbl 1392.68233
Bloem, Roderick; Chatterjee, Krishnendu; Jobstmann, Barbara
7
2018
Quantitative analysis of smart contracts. Zbl 1418.68024
Chatterjee, Krishnendu; Goharshady, Amir Kafshdar; Velner, Yaron
2
2018
Strategy representation by decision trees in reactive synthesis. Zbl 1423.68118
Brázdil, Tomáš; Chatterjee, Krishnendu; Křetínský, Jan; Toman, Viktor
1
2018
Faster algorithms for weighted recursive state machines. Zbl 06721325
Chatterjee, Krishnendu; Kragl, Bernhard; Mishra, Samarth; Pavlogiannis, Andreas
2
2017
Trading performance for stability in Markov decision processes. Zbl 1359.90147
Brázdil, Tomáš; Chatterjee, Krishnendu; Forejt, Vojtěch; Kučera, Antonín
2
2017
Nested weighted automata. Zbl 1407.68248
Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan
2
2017
Stochastic invariants for probabilistic termination. Zbl 1380.68114
Chatterjee, Krishnendu; Novotný, Petr; Žikelić, Đorđe
2
2017
Improved algorithms for parity and Streett objectives. Zbl 1459.68117
Chatterjee, Krishnendu; Henzinger, Monika; Loitzenbauer, Veronika
2
2017
Pushdown reachability with constant treewidth. Zbl 1422.68184
Chatterjee, Krishnendu; Osang, Georg
1
2017
Quantitative fair simulation games. Zbl 1370.68165
Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan; Velner, Yaron
1
2017
Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. Zbl 1351.93138
Svoreňová, Mária; Křetínský, Jan; Chmelík, Martin; Chatterjee, Krishnendu; Černá, Ivana; Belta, Calin
1
2017
Edit distance for pushdown automata. Zbl 1440.68152
Chatterjee, Krishnendu; Henzinger, Thomas A.; Ibsen-Jensen, Rasmus; Otop, Jan
1
2017
Optional interactions and suspicious behaviour facilitates trustful cooperation in prisoners dilemma. Zbl 1394.91049
Priklopil, Tadeas; Chatterjee, Krishnendu; Nowak, Martin
1
2017
Hyperplane separation technique for multidimensional mean-payoff games. Zbl 1371.68107
Chatterjee, Krishnendu; Velner, Yaron
1
2017
Quantitative automata under probabilistic semantics. Zbl 1401.68155
Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan
5
2016
Optimal cost almost-sure reachability in POMDPs. Zbl 1351.68307
Chatterjee, Krishnendu; Chmelík, Martin; Gupta, Raghav; Kanodia, Ayush
3
2016
Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs. Zbl 1347.68075
Chatterjee, Krishnendu; Fu, Hongfei; Novotný, Petr; Hasheminezhad, Rouzbeh
3
2016
Termination analysis of probabilistic programs through Positivstellensatz’s. Zbl 1411.68025
Chatterjee, Krishnendu; Fu, Hongfei; Goharshady, Amir Kafshdar
3
2016
Nested weighted limit-average automata of bounded width. Zbl 1398.68305
Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan
2
2016
Quantitative monitor automata. Zbl 1394.68207
Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan
2
2016
Computation tree logic for synchronization properties. Zbl 1388.68184
Chatterjee, Krishnendu; Doyen, Laurent
1
2016
Optimal reachability and a space-time tradeoff for distance queries in constant-treewidth graphs. Zbl 1397.68030
Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus; Pavlogiannis, Andreas
1
2016
Conditionally optimal algorithms for generalized Büchi games. Zbl 1398.68390
Chatterjee, Krishnendu; Dvořák, Wolfgang; Henzinger, Monika; Loitzenbauer, Veronika
1
2016
Algorithms for algebraic path properties in concurrent systems of constant treewidth components. Zbl 1347.68260
Chatterjee, Krishnendu; Goharshady, Amir Kafshdar; Ibsen-Jensen, Rasmus; Pavlogiannis, Andreas
1
2016
Model and objective separation with conditional lower bounds: disjunction is harder than conjunction. Zbl 1401.68189
Chatterjee, Krishnendu; Dvořák, Wolfgang; Henzinger, Monika; Loitzenbauer, Veronika
1
2016
Perfect-information stochastic games with generalized mean-payoff objectives. Zbl 1401.68238
Chatterjee, Krishnendu; Doyen, Laurent
1
2016
The complexity of multi-mean-payoff and multi-energy games. Zbl 1309.68082
Velner, Yaron; Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.; Rabinovich, Alexander; Raskin, Jean-François
12
2015
Probabilistic opacity for Markov decision processes. Zbl 1366.68213
Bérard, Béatrice; Chatterjee, Krishnendu; Sznajder, Nathalie
7
2015
Looking at mean-payoff and total-payoff through windows. Zbl 1317.68065
Chatterjee, Krishnendu; Doyen, Laurent; Randour, Mickael; Raskin, Jean-François
6
2015
Amplifiers of selection. Zbl 1371.92093
Adlam, B.; Chatterjee, K.; Nowak, M. A.
6
2015
Nested weighted automata. Zbl 1401.68154
Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan
6
2015
POMDPs under probabilistic semantics. Zbl 1329.90158
Chatterjee, Krishnendu; Chmelík, Martin
4
2015
Faster algorithms for algebraic path properties in recursive state machines with constant treewidth. Zbl 1346.68047
Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus; Pavlogiannis, Andreas; Goyal, Prateesh
4
2015
Measuring and synthesizing systems in probabilistic environments. Zbl 1321.68344
Chatterjee, Krishnendu; Henzinger, Thomas A.; Jobstmann, Barbara; Singh, Rohit
4
2015
Quantitative interprocedural analysis. Zbl 1345.68098
Chatterjee, Krishnendu; Pavlogiannis, Andreas; Velner, Yaron
3
2015
Edit distance for pushdown automata. Zbl 1440.68151
Chatterjee, Krishnendu; Henzinger, Thomas A.; Ibsen-Jensen, Rasmus; Otop, Jan
3
2015
Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. Zbl 1364.93751
Svoreňová, Mária; Křetínský, Jan; Chmelík, Martin; Chatterjee, Krishnendu; Černá, Ivana; Belta, Calin
3
2015
Quantitative temporal simulation and refinement distances for timed systems. Zbl 1360.68545
Chatterjee, Krishnendu; Prabhu, Vinayak S.
2
2015
Unifying two views on multiple mean-payoff objectives in Markov decision processes. Zbl 1401.68171
Chatterjee, Krishnendu; Komárková, Zuzana; Křetínský, Jan
2
2015
Temporal logic motion planning using POMDPs with parity objectives (case study paper). Zbl 1364.93521
Svoreňová, Mária; Chmelík, Martin; Leahy, Kevin; Eniser, Hasan Ferit; Chatterjee, Krishnendu; Černá, Ivana; Belta, Calin
2
2015
Qualitative analysis of concurrent mean-payoff games. Zbl 1318.91039
Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus
1
2015
The value 1 problem under finite-memory strategies for concurrent mean-payoff games. Zbl 1372.91007
Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus
1
2015
Improved algorithms for one-pair and \(k\)-pair Streett objectives. Zbl 1401.68190
Chatterjee, Krishnendu; Henzinger, Monika; Loitzenbauer, Veronika
1
2015
The complexity of synthesis from probabilistic components. Zbl 1440.68045
Chatterjee, Krishnendu; Doyen, Laurent; Vardi, Moshe Y.
1
2015
Faster algorithms for quantitative verification in constant treewidth graphs. Zbl 1381.68150
Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus; Pavlogiannis, Andreas
1
2015
Counterexample explanation by learning small strategies in Markov decision processes. Zbl 1381.68104
Brázdil, Tomáš; Chatterjee, Krishnendu; Chmelík, Martin; Fellner, Andreas; Křetínský, Jan
1
2015
Synthesizing robust systems. Zbl 1302.93079
Bloem, Roderick; Chatterjee, Krishnendu; Greimel, Karin; Henzinger, Thomas A.; Hofferek, Georg; Jobstmann, Barbara; Könighofer, Bettina; Könighofer, Robert
18
2014
Efficient and dynamic algorithms for alternating Büchi games and maximal end-component decomposition. Zbl 1295.91019
Chatterjee, Krishnendu; Henzinger, Monika
14
2014
Strategy synthesis for multi-dimensional quantitative objectives. Zbl 1360.68208
Chatterjee, Krishnendu; Randour, Mickael; Raskin, Jean-François
11
2014
Temporal specifications with accumulative values. Zbl 1354.68169
Boker, Udi; Chatterjee, Krishnendu; Henzinger, Thomas A.; Kupferman, Orna
9
2014
The complexity of partial-observation stochastic parity games with finite-memory strategies. Zbl 1405.68135
Chatterjee, Krishnendu; Doyen, Laurent; Nain, Sumit; Vardi, Moshe Y.
8
2014
Verification of Markov decision processes using learning algorithms. Zbl 1448.68290
Brázdil, Tomáš; Chatterjee, Krishnendu; Chmelík, Martin; Forejt, Vojtěch; Křetínský, Jan; Kwiatkowska, Marta; Parker, David; Ujma, Mateusz
7
2014
Partial-observation stochastic games, how to win when belief fails. Zbl 1291.91021
Chatterjee, Krishnendu; Doyen, Laurent
7
2014
Markov decision processes with multiple long-run average objectives. Zbl 1326.90101
Brázdil, Tomáš; Brožek, Václav; Chatterjee, Krishnendu; Forejt, Vojtěch; Kučera, Antonín
5
2014
Games with a weak adversary. Zbl 1409.68169
Chatterjee, Krishnendu; Doyen, Laurent
5
2014
The complexity of ergodic mean-payoff games. Zbl 1410.68156
Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus
5
2014
Doomsday equilibria for omega-regular games. Zbl 1428.68181
Chatterjee, Krishnendu; Doyen, Laurent; Filiot, Emmanuel; Raskin, Jean-François
5
2014
Polynomial-time algorithms for energy games with special weight structures. Zbl 1303.91048
Chatterjee, Krishnendu; Henzinger, Monika; Krinninger, Sebastian; Nanongkai, Danupon
5
2014
Qualitative concurrent parity games: bounded rationality. Zbl 1417.68122
Chatterjee, Krishnendu
3
2014
Assume-guarantee synthesis for digital contract signing. Zbl 1342.94068
Chatterjee, Krishnendu; Raman, Vishwanath
3
2014
Perfect-information stochastic mean-payoff parity games. Zbl 1405.68225
Chatterjee, Krishnendu; Doyen, Laurent; Gimbert, Hugo; Oualhadj, Youssouf
2
2014
Edit distance for timed automata. Zbl 1360.68544
Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus; Majumdar, Rupak
1
2014
Approximating the minimum cycle mean. Zbl 1417.68284
Chatterjee, Krishnendu; Henzinger, Monika; Krinninger, Sebastian; Loitzenbauer, Veronika; Raskin, Michael A.
1
2014
What is decidable about partially observable Markov decision processes with omega-regular objectives. Zbl 1356.68142
Chatterjee, Krishnendu; Chmelik, Martin; Tracol, Mathieu
8
2013
Code aware resource management. Zbl 1291.68137
Chatterjee, Krishnendu; De Alfaro, Luca; Faella, Marco; Majumdar, Rupak; Raman, Vishwanath
6
2013
A survey of partial-observation stochastic parity games. Zbl 1291.91022
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
6
2013
Hyperplane separation technique for multidimensional mean-payoff games. Zbl 1371.68106
Chatterjee, Krishnendu; Velner, Yaron
6
2013
Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives. Zbl 1291.68251
Chatterjee, Krishnendu; Henzinger, Monika; Joglekar, Manas; Shah, Nisarg
5
2013
Infinite-state games with finitary conditions. Zbl 1356.68059
Chatterjee, Krishnendu; Fijalkow, Nathanaël
4
2013
Multi-objective discounted reward verification in graphs and MDPs. Zbl 1406.68051
Chatterjee, Krishnendu; Forejt, Vojtěch; Wojtczak, Dominik
4
2013
Trading performance for stability in Markov decision processes. Zbl 1366.68087
Brázdil, Tomáš; Chatterjee, Krishnendu; Forejt, Vojtěch; Kučera, Antonín
4
2013
Automated analysis of real-time scheduling using graph games. Zbl 1361.90021
Chatterjee, Krishnendu; Kößler, Alexander; Schmid, Ulrich
3
2013
Looking at mean-payoff and total-payoff through windows. Zbl 1415.91065
Chatterjee, Krishnendu; Doyen, Laurent; Randour, Mickael; Raskin, Jean-François
3
2013
Strategy improvement for concurrent reachability and turn-based stochastic safety games. Zbl 1269.91022
Chatterjee, Krishnendu; de Alfaro, Luca; Henzinger, Thomas A.
2
2013
Quantitative timed simulation functions and refinement metrics for real-time systems. Zbl 1361.68019
Chatterjee, Krishnendu; Prabhu, Vinayak S.
1
2013
Density games. Zbl 1397.91074
Novak, Sebastian; Chatterjee, Krishnendu; Nowak, Martin A.
1
2013
Mathematical foundations of computer science 2013. 38th international symposium, MFCS 2013, Klosterneuburg, Austria, August 26–30, 2013. Proceedings. Zbl 1270.68020
Chatterjee, Krishnendu; Sgall, Jirí
1
2013
A survey of stochastic \(\omega \)-regular games. Zbl 1237.91036
Chatterjee, Krishnendu; Henzinger, Thomas A.
19
2012
Energy parity games. Zbl 1260.91039
Chatterjee, Krishnendu; Doyen, Laurent
13
2012
Decidable problems for probabilistic automata on infinite words. Zbl 1360.68546
Chatterjee, Krishnendu; Tracol, Mathieu
7
2012
Mean-payoff pushdown games. Zbl 1361.68137
Chatterjee, Krishnendu; Velner, Yaron
5
2012
Partial-observation stochastic games: how to win when belief fails. Zbl 1362.91008
Chatterjee, Krishnendu; Doyen, Laurent
4
2012
Evolutionary game dynamics in populations with different learners. Zbl 1397.91062
Chatterjee, Krishnendu; Zufferey, Damien; Nowak, Martin A.
4
2012
Robustness of structurally equivalent concurrent parity games. Zbl 1352.68178
Chatterjee, Krishnendu
4
2012
Strategy synthesis for multi-dimensional quantitative objectives. Zbl 1364.68278
Chatterjee, Krishnendu; Randour, Mickael; Raskin, Jean-François
4
2012
Polynomial-time algorithms for energy games with special weight structures. Zbl 1365.68274
Chatterjee, Krishnendu; Henzinger, Monika; Krinninger, Sebastian; Nanongkai, Danupon
4
2012
The complexity of stochastic Müller games. Zbl 1238.91022
Chatterjee, Krishnendu
4
2012
Evolutionary dynamics of biological auctions. Zbl 1322.92053
Chatterjee, Krishnendu; Reiter, Johannes G.; Nowak, Martin A.
3
2012
An \(O(n^2)\) time algorithm for alternating Büchi games. Zbl 1421.68110
Chatterjee, Krishnendu; Henzinger, Monika
2
2012
Synthesizing protocols for digital contract signing. Zbl 1325.94115
Chatterjee, Krishnendu; Raman, Vishwanath
2
2012
Faster algorithms for alternating refinement relations. Zbl 1252.68202
Chatterjee, Krishnendu; Chaubal, Siddhesh; Kamath, Pritish
2
2012
Faster and dynamic algorithms for maximal end-component decomposition and related graph problems in probabilistic verification. Zbl 1374.68272
Chatterjee, Krishnendu; Henzinger, Monika
19
2011
Qualitative concurrent parity games. Zbl 1351.68179
Chatterjee, Krishnendu; De Alfaro, Luca; Henzinger, Thomas A.
6
2011
Energy and mean-payoff parity Markov decision processes. Zbl 1343.90107
Chatterjee, Krishnendu; Doyen, Laurent
5
2011
Timed parity games: complexity and robustness. Zbl 1237.68112
Chatterjee, Krishnendu; Henzinger, Thomas A.; Prabhu, Vinayak S.
5
2011
QUASY: quantitative synthesis tool. Zbl 1316.68071
Chatterjee, Krishnendu; Henzinger, Thomas A.; Jobstmann, Barbara; Singh, Rohit
2
2011
The complexity of request-response games. Zbl 1330.68105
Chatterjee, Krishnendu; Henzinger, Thomas A.; Horn, Florian
2
2011
Minimum attention controller synthesis for omega-regular objectives. Zbl 1348.68096
Chatterjee, Krishnendu; Majumdar, Rupak
2
2011
Synthesis of memory-efficient “real-time” controllers for safety objectives. Zbl 1361.68164
Chatterjee, Krishnendu; Prabhu, Vinayak S.
1
2011
...and 59 more Documents
all top 5

Cited by 560 Authors

55 Chatterjee, Krishnendu
29 Henzinger, Thomas A.
22 Raskin, Jean-François
21 Kupferman, Orna
14 Droste, Manfred
14 Murano, Aniello
13 Larsen, Kim Guldstrand
12 Avni, Guy
12 Baier, Christel
12 Doyen, Laurent
11 Legay, Axel
11 Markey, Nicolas
10 Bouyer, Patricia
10 Zimmermann, Martín G.
9 Gutierrez, Julian
9 Perelli, Giuseppe
8 Ibsen-Jensen, Rasmus
8 Katoen, Joost-Pieter
8 Kwiatkowska, Marta Z.
8 Mogavero, Fabio
8 Otop, Jan
8 Wooldridge, Michael J.
7 Brihaye, Thomas
7 Bruyère, Véronique
7 Fahrenberg, Uli
7 Jobstmann, Barbara
7 Randour, Mickael
6 Bloem, Roderick
6 Chmelík, Martin
6 Filiot, Emmanuel
6 Gurvich, Vladimir A.
6 Klein, Joachim
6 Pérez, Guillermo A.
6 Rauch Henzinger, Monika
6 Schewe, Sven
6 Wąsowski, Andrzej
5 Alur, Rajeev
5 Boros, Endre
5 Brázdil, Tomáš
5 Elbassioni, Khaled M.
5 Forejt, Vojtěch
5 Harrenstein, Paul
5 Klüppelholz, Sascha
5 Kucera, Antonin
5 Leroux, Stéphane
5 Majumdar, Rupak
5 Makino, Kazuhisa
5 Pauly, Arno M.
5 Vardi, Moshe Y.
4 Benerecetti, Massimo
4 Bertrand, Nathalie
4 Bozzelli, Laura
4 Faella, Marco
4 Junges, Sebastian
4 Křetínský, Jan
4 Meinecke, Ingmar
4 Norman, Gethin
4 Piterman, Nir
4 Sankur, Ocan
4 Solan, Eilon
4 Sorrentino, Loredana
4 Velner, Yaron
3 Aminof, Benjamin
3 Bérard, Béatrice
3 Černý, Pavol
3 Ćirić, Miroslav D.
3 de Alfaro, Luca
3 Delahaye, Benoît
3 Dell’Erba, Daniele
3 Flesch, Janos
3 Größer, Marcus
3 Guha, Shibashis
3 Haddad, Serge
3 Hansen, Kristoffer Arnsfelt
3 Horn, Florian
3 Hunter, Paul
3 Ignjatović, Jelena
3 Juhl, Line
3 Könighofer, Robert
3 Kostolányi, Peter
3 Kuich, Werner
3 Malvone, Vadim
3 Maubert, Bastien
3 McAvoy, Alex
3 Michaliszyn, Jakub
3 Niskanen, Reino
3 Nowak, Martin Andreas
3 Pavlogiannis, Andreas
3 Pinchinat, Sophie
3 Potapov, Igor
3 Predtetchinski, Arkadi
3 Radhakrishna, Arjun
3 Raman, Vishwanath
3 Rubin, Sasha
3 Salomaa, Kai T.
3 Singh, Rohit R.
3 Sproston, Jeremy
3 Tamir, Tami
3 Topcu, Ufuk
3 Vogler, Heiko
...and 460 more Authors
all top 5

Cited in 56 Serials

53 Information and Computation
42 Theoretical Computer Science
19 Acta Informatica
17 Formal Methods in System Design
15 Journal of Computer and System Sciences
13 Logical Methods in Computer Science
9 Information Processing Letters
9 ACM Transactions on Computational Logic
8 Artificial Intelligence
7 Discrete Event Dynamic Systems
6 Automatica
6 Journal of Theoretical Biology
5 Journal of the ACM
4 Journal of Mathematical Biology
4 Formal Aspects of Computing
4 Theory of Computing Systems
4 Journal of Logical and Algebraic Methods in Programming
3 Discrete Applied Mathematics
3 Information Sciences
3 International Journal of Foundations of Computer Science
3 Economic Theory
3 The Journal of Logic and Algebraic Programming
3 Nonlinear Analysis. Hybrid Systems
3 Games
3 Dynamic Games and Applications
2 Journal of Philosophical Logic
2 Mathematics of Operations Research
2 Algorithmica
2 Journal of Automated Reasoning
2 International Journal of Approximate Reasoning
2 Real-Time Systems
2 International Journal of Algebra and Computation
2 Journal of Logic, Language and Information
2 Annals of Mathematics and Artificial Intelligence
2 Optimization Letters
1 Fuzzy Sets and Systems
1 Journal of Optimization Theory and Applications
1 Theoretical Population Biology
1 Systems & Control Letters
1 Science of Computer Programming
1 Annals of Pure and Applied Logic
1 Computers & Operations Research
1 Machine Learning
1 MSCS. Mathematical Structures in Computer Science
1 Games and Economic Behavior
1 International Journal of Computer Mathematics
1 Proceedings of the National Academy of Sciences of the United States of America
1 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering
1 European Journal of Control
1 Soft Computing
1 Mathematical Methods of Operations Research
1 International Game Theory Review
1 Theory and Practice of Logic Programming
1 Vestnik Yuzhno-Ural’skogo Gosudarstvennogo Universiteta. Seriya Matematicheskoe Modelirovanie i Programmirovanie
1 Algorithms
1 RAIRO. Theoretical Informatics and Applications

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.