×

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
all top 5

Co-Authors

11 single-authored
70 Henzinger, Thomas A.
35 Doyen, Laurent
17 Rauch Henzinger, Monika
16 Majumdar, Rupak
14 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
8 Pavlogiannis, Andreas
7 Prabhu, Vinayak S.
6 Dvořák, Wolfgang
6 Jobstmann, Barbara
6 Nowak, Martin Andreas
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 A.
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 Svozil, Alexander
3 Tracol, Mathieu
3 Vardi, Moshe Ya’akov
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 Velan, Dominik
2 Weininger, Maximilian
2 Winkler, Tobias
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 Katoen, Joost-Pieter
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
...and 14 more Co-Authors

Publications by Year

Citations contained in zbMATH Open

173 Publications have been cited 1,223 times in 505 Documents Cited by Year
Better quality in synthesis through quantitative objectives. Zbl 1242.68151
Bloem, Roderick; Chatterjee, Krishnendu; Henzinger, Thomas A.; Jobstmann, Barbara
48
2009
Strategy logic. Zbl 1205.68197
Chatterjee, Krishnendu; Henzinger, Thomas A.; Piterman, Nir
47
2010
Quantitative languages. Zbl 1351.68155
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
37
2010
Quantitative languages. Zbl 1156.68449
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
34
2008
Quantitative stochastic parity games. Zbl 1318.91027
Chatterjee, Krishnendu; Jurdziński, Marcin; Henzinger, Thomas A.
32
2004
Generalized mean-payoff and energy games. Zbl 1245.68090
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.; Raskin, Jean-François
29
2010
Games with secure equilibria. Zbl 1108.91007
Chatterjee, Krishnendu; Henzinger, Thomas A.; Jurdziński, Marcin
27
2006
On Nash equilibria in stochastic games. Zbl 1095.91001
Chatterjee, Krishnendu; Majumdar, Rupak; Jurdziński, Marcin
25
2004
A survey of stochastic \(\omega \)-regular games. Zbl 1237.91036
Chatterjee, Krishnendu; Henzinger, Thomas A.
24
2012
Algorithms for omega-regular games with imperfect information. Zbl 1125.91028
Raskin, Jean-Francois; Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
23
2007
Energy parity games. Zbl 1260.91039
Chatterjee, Krishnendu; Doyen, Laurent
23
2012
Simple stochastic parity games. Zbl 1116.68493
Chatterjee, Krishnendu; Jurdziński, Marcin; Henzinger, Thomas A.
23
2003
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
22
2014
Finitary winning in \({\omega}\)-regular games. Zbl 1351.68156
Chatterjee, Krishnendu; Henzinger, Thomas A.; Horn, Florian
22
2009
Strategy logic. Zbl 1151.03327
Chatterjee, Krishnendu; Henzinger, Thomas A.; Piterman, Nir
21
2007
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
20
2015
Faster and dynamic algorithms for maximal end-component decomposition and related graph problems in probabilistic verification. Zbl 1374.68272
Chatterjee, Krishnendu; Henzinger, Monika
20
2011
Expressiveness and closure properties for quantitative languages. Zbl 1200.68135
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
19
2010
Strategy synthesis for multi-dimensional quantitative objectives. Zbl 1360.68208
Chatterjee, Krishnendu; Randour, Mickael; Raskin, Jean-François
18
2014
Alternating weighted automata. Zbl 1252.68167
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
18
2009
Algorithms for omega-regular games with imperfect information. Zbl 1225.91012
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.; Raskin, Jean-François
18
2006
Efficient and dynamic algorithms for alternating Büchi games and maximal end-component decomposition. Zbl 1295.91019
Chatterjee, Krishnendu; Henzinger, Monika
16
2014
Markov decision processes with multiple objectives. Zbl 1136.90498
Chatterjee, Krishnendu; Majumdar, Rupak; Henzinger, Thomas A.
16
2006
Model-checking \(\omega \)-regular properties of interval Markov chains. Zbl 1138.68441
Chatterjee, Krishnendu; Sen, Koushik; Henzinger, Thomas A.
15
2008
Energy parity games. Zbl 1288.68160
Chatterjee, Krishnendu; Doyen, Laurent
14
2010
The complexity of stochastic Rabin and Streett games. Zbl 1085.68060
Chatterjee, Krishnendu; de Alfaro, Luca; Henzinger, Thomas A.
14
2005
Temporal specifications with accumulative values. Zbl 1354.68169
Boker, Udi; Chatterjee, Krishnendu; Henzinger, Thomas A.; Kupferman, Orna
13
2014
Assume-guarantee synthesis. Zbl 1186.68284
Chatterjee, Krishnendu; Henzinger, Thomas A.
13
2007
Environment assumptions for synthesis. Zbl 1160.68437
Chatterjee, Krishnendu; Henzinger, Thomas A.; Jobstmann, Barbara
13
2008
Concurrent games with tail objectives. Zbl 1177.91031
Chatterjee, Krishnendu
11
2007
Graph games and reactive synthesis. Zbl 1392.68233
Bloem, Roderick; Chatterjee, Krishnendu; Jobstmann, Barbara
11
2018
Qualitative analysis of partially-observable Markov decision processes. Zbl 1287.68104
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
11
2010
Stochastic limit-average games are in EXPTIME. Zbl 1154.91004
Chatterjee, Krishnendu; Majumdar, Rupak; Henzinger, Thomas A.
11
2008
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
10
2014
The complexity of quantitative concurrent parity games. Zbl 1192.68430
Chatterjee, Krishnendu; de Alfaro, Luca; Henzinger, Thomas A.
10
2006
Randomness for free. Zbl 1287.91027
Chatterjee, Krishnendu; Doyen, Laurent; Gimbert, Hugo; Henzinger, Thomas A.
10
2010
Generalized parity games. Zbl 1195.68053
Chatterjee, Krishnendu; Henzinger, Thomas A.; Piterman, Nir
10
2007
Finitary winning in \(\omega\)-regular games. Zbl 1180.68171
Chatterjee, Krishnendu; Henzinger, Thomas A.
9
2006
Partial-observation stochastic games, how to win when belief fails. Zbl 1291.91021
Chatterjee, Krishnendu; Doyen, Laurent
9
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
9
2014
Looking at mean-payoff and total-payoff through windows. Zbl 1317.68065
Chatterjee, Krishnendu; Doyen, Laurent; Randour, Mickael; Raskin, Jean-François
9
2015
Probabilistic weighted automata. Zbl 1254.68133
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
9
2009
Amplifiers of selection. Zbl 1371.92093
Adlam, B.; Chatterjee, K.; Nowak, M. A.
9
2015
Value iteration. Zbl 1143.68042
Chatterjee, Krishnendu; Henzinger, Thomas A.
9
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
Decidable problems for probabilistic automata on infinite words. Zbl 1360.68546
Chatterjee, Krishnendu; Tracol, Mathieu
8
2012
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
Nash equilibrium for upward-closed objectives. Zbl 1225.91009
Chatterjee, Krishnendu
8
2006
Termination analysis of probabilistic programs through Positivstellensatz’s. Zbl 1411.68025
Chatterjee, Krishnendu; Fu, Hongfei; Goharshady, Amir Kafshdar
7
2016
Probabilistic opacity for Markov decision processes. Zbl 1366.68213
Bérard, Béatrice; Chatterjee, Krishnendu; Sznajder, Nathalie
7
2015
Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs. Zbl 1347.68075
Chatterjee, Krishnendu; Fu, Hongfei; Novotný, Petr; Hasheminezhad, Rouzbeh
7
2016
Hyperplane separation technique for multidimensional mean-payoff games. Zbl 1371.68106
Chatterjee, Krishnendu; Velner, Yaron
7
2013
Semiperfect-information games. Zbl 1172.68540
Chatterjee, Krishnendu; Henzinger, Thomas A.
7
2005
Markov decision processes with multiple long-run average objectives. Zbl 1135.90427
Chatterjee, Krishnendu
7
2007
Mean-payoff automaton expressions. Zbl 1287.68093
Chatterjee, Krishnendu; Doyen, Laurent; Edelsbrunner, Herbert; Henzinger, Thomas A.; Rannou, Philippe
6
2010
Nested weighted automata. Zbl 1401.68154
Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan
6
2015
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
Energy and mean-payoff parity Markov decision processes. Zbl 1343.90107
Chatterjee, Krishnendu; Doyen, Laurent
6
2011
The complexity of partial-observation parity games. Zbl 1298.91050
Chatterjee, Krishnendu; Doyen, Laurent
6
2010
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
6
2015
Qualitative concurrent parity games. Zbl 1351.68179
Chatterjee, Krishnendu; De Alfaro, Luca; Henzinger, Thomas A.
6
2011
Evolutionary game dynamics in populations with different learners. Zbl 1397.91062
Chatterjee, Krishnendu; Zufferey, Damien; Nowak, Martin A.
5
2012
Quantitative automata under probabilistic semantics. Zbl 1401.68155
Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan
5
2016
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
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
Infinite-state games with finitary conditions. Zbl 1356.68059
Chatterjee, Krishnendu; Fijalkow, Nathanaël
5
2013
Timed parity games: complexity and robustness. Zbl 1237.68112
Chatterjee, Krishnendu; Henzinger, Thomas A.; Prabhu, Vinayak S.
5
2011
Multi-objective discounted reward verification in graphs and MDPs. Zbl 1406.68051
Chatterjee, Krishnendu; Forejt, Vojtěch; Wojtczak, Dominik
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
Partial-observation stochastic games: how to win when belief fails. Zbl 1362.91008
Chatterjee, Krishnendu; Doyen, Laurent
5
2012
Mean-payoff pushdown games. Zbl 1361.68137
Chatterjee, Krishnendu; Velner, Yaron
5
2012
Stochastic invariants for probabilistic termination. Zbl 1380.68114
Chatterjee, Krishnendu; Novotný, Petr; Žikelić, Đorđe
5
2017
Verifying quantitative properties using bound functions. Zbl 1159.68313
Chakrabarti, Arindam; Chatterjee, Krishnendu; Henzinger, Thomas A.; Kupferman, Orna; Majumdar, Rupak
5
2005
Games with secure equilibria. Zbl 1143.68447
Chatterjee, Krishnendu; Henzinger, Thomas A.; Jurdziński, Marcin
5
2005
Strategy improvement and randomized subexponential algorithms for stochastic parity games. Zbl 1136.91322
Chatterjee, Krishnendu; Henzinger, Thomas A.
5
2006
Algorithms for game metrics. Zbl 1214.68245
Chatterjee, Krishnendu; de Alfaro, Luca; Majumdar, Rupak; Raman, Vishwanath
4
2010
A survey of stochastic games with limsup and liminf objectives. Zbl 1248.91015
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
4
2009
Robustness of structurally equivalent concurrent parity games. Zbl 1352.68178
Chatterjee, Krishnendu
4
2012
POMDPs under probabilistic semantics. Zbl 1329.90158
Chatterjee, Krishnendu; Chmelík, Martin
4
2015
Optimal cost almost-sure reachability in POMDPs. Zbl 1351.68307
Chatterjee, Krishnendu; Chmelík, Martin; Gupta, Raghav; Kanodia, Ayush
4
2016
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
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 request-response games. Zbl 1330.68105
Chatterjee, Krishnendu; Henzinger, Thomas A.; Horn, Florian
4
2011
Reduction of stochastic parity to stochastic mean-payoff games. Zbl 1186.68306
Chatterjee, Krishnendu; Henzinger, Thomas A.
4
2008
Quantitative interprocedural analysis. Zbl 1345.68098
Chatterjee, Krishnendu; Pavlogiannis, Andreas; Velner, Yaron
4
2015
Strategy improvement for concurrent reachability and turn-based stochastic safety games. Zbl 1269.91022
Chatterjee, Krishnendu; de Alfaro, Luca; Henzinger, Thomas A.
4
2013
Measuring and synthesizing systems in probabilistic environments. Zbl 1321.68344
Chatterjee, Krishnendu; Henzinger, Thomas A.; Jobstmann, Barbara; Singh, Rohit
4
2015
The complexity of stochastic Müller games. Zbl 1238.91022
Chatterjee, Krishnendu
4
2012
Controller synthesis with budget constraints. Zbl 1144.93312
Chatterjee, Krishnendu; Majumdar, Rupak; Henzinger, Thomas A.
4
2008
Strategy synthesis for multi-dimensional quantitative objectives. Zbl 1364.68278
Chatterjee, Krishnendu; Randour, Mickael; Raskin, Jean-François
4
2012
Quantitative analysis of smart contracts. Zbl 1418.68024
Chatterjee, Krishnendu; Goharshady, Amir Kafshdar; Velner, Yaron
3
2018
Quantitative monitor automata. Zbl 1394.68207
Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan
3
2016
Looking at mean-payoff and total-payoff through windows. Zbl 1415.91065
Chatterjee, Krishnendu; Doyen, Laurent; Randour, Mickael; Raskin, Jean-François
3
2013
Qualitative concurrent parity games: bounded rationality. Zbl 1417.68122
Chatterjee, Krishnendu
3
2014
Evolutionary dynamics of biological auctions. Zbl 1322.92053
Chatterjee, Krishnendu; Reiter, Johannes G.; Nowak, Martin A.
3
2012
Edit distance for pushdown automata. Zbl 1440.68151
Chatterjee, Krishnendu; Henzinger, Thomas A.; Ibsen-Jensen, Rasmus; Otop, Jan
3
2015
Automated analysis of real-time scheduling using graph games. Zbl 1361.90021
Chatterjee, Krishnendu; Kößler, Alexander; Schmid, Ulrich
3
2013
Termination analysis of probabilistic programs with martingales. Zbl 07311047
Chatterjee, Krishnendu; Fu, Hongfei; Novotný, Petr
1
2021
Approximating values of generalized-reachability stochastic games. Zbl 1455.91035
Ashok, Pranav; Chatterjee, Krishnendu; Křetínský, Jan; Weininger, Maximilian; Winkler, Tobias
3
2020
Termination of nondeterministic probabilistic programs. Zbl 07157059
Fu, Hongfei; Chatterjee, Krishnendu
2
2019
Graph games and reactive synthesis. Zbl 1392.68233
Bloem, Roderick; Chatterjee, Krishnendu; Jobstmann, Barbara
11
2018
Quantitative analysis of smart contracts. Zbl 1418.68024
Chatterjee, Krishnendu; Goharshady, Amir Kafshdar; Velner, Yaron
3
2018
Quasipolynomial set-based symbolic algorithms for parity games. Zbl 1415.68142
Chatterjee, Krishnendu; Dvořák, Wolfgang; Henzinger, Monika; Svozil, Alexander
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
Lower bounds for symbolic computation on graphs: strongly connected components, liveness, safety, and diameter. Zbl 1403.68063
Chatterjee, Krishnendu; Dvořák, Wolfgang; Henzinger, Monika; Loitzenbauer, Veronika
1
2018
Efficient algorithms for asymptotic bounds on termination time in VASS. Zbl 07298743
Brázdil, Tomáš; Chatterjee, Krishnendu; Kučera, Antonín; Novotný, Petr; Velan, Dominik; Zuleger, Florian
1
2018
Ergodic mean-payoff games for the analysis of attacks in crypto-currencies. Zbl 07378555
Chatterjee, Krishnendu; Kafshdar, Goharshady Amir; Ibsen-Jensen, Rasmus; Velner, Yaron
1
2018
Stochastic invariants for probabilistic termination. Zbl 1380.68114
Chatterjee, Krishnendu; Novotný, Petr; Žikelić, Đorđe
5
2017
Unifying two views on multiple mean-payoff objectives in Markov decision processes. Zbl 1448.68280
Chatterjee, Krishnendu; Křetínská, Zuzana; Křetínský, Jan
3
2017
Trading performance for stability in Markov decision processes. Zbl 1359.90147
Brázdil, Tomáš; Chatterjee, Krishnendu; Forejt, Vojtěch; Kučera, Antonín
3
2017
Nested weighted automata. Zbl 1407.68248
Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan
2
2017
Faster Monte Carlo algorithms for fixation probability of the Moran process on undirected graphs. Zbl 1447.92274
Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus; Nowak, Martin A.
2
2017
The cost of exactness in quantitative reachability. Zbl 1431.68073
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
2
2017
Quantitative fair simulation games. Zbl 1370.68165
Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan; Velner, Yaron
2
2017
Faster algorithms for weighted recursive state machines. Zbl 06721325
Chatterjee, Krishnendu; Kragl, Bernhard; Mishra, Samarth; Pavlogiannis, Andreas
2
2017
Edit distance for pushdown automata. Zbl 1440.68152
Chatterjee, Krishnendu; Henzinger, Thomas A.; Ibsen-Jensen, Rasmus; Otop, Jan
2
2017
Improved algorithms for parity and Streett objectives. Zbl 1459.68117
Chatterjee, Krishnendu; Henzinger, Monika; Loitzenbauer, Veronika
2
2017
Optional interactions and suspicious behaviour facilitates trustful cooperation in prisoners dilemma. Zbl 1394.91049
Priklopil, Tadeas; Chatterjee, Krishnendu; Nowak, Martin
1
2017
Improved set-based symbolic algorithms for parity games. Zbl 1436.68194
Chatterjee, Krishnendu; Dvořák, Wolfgang; Henzinger, Monika; Loitzenbauer, Veronika
1
2017
Strategy complexity of concurrent safety games. Zbl 1447.91018
Chatterjee, Krishnendu; Hansen, Kristoffer Arnsfelt; Ibsen-Jensen, Rasmus
1
2017
Hyperplane separation technique for multidimensional mean-payoff games. Zbl 1371.68107
Chatterjee, Krishnendu; 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
Pushdown reachability with constant treewidth. Zbl 1422.68184
Chatterjee, Krishnendu; Osang, Georg
1
2017
Termination analysis of probabilistic programs through Positivstellensatz’s. Zbl 1411.68025
Chatterjee, Krishnendu; Fu, Hongfei; Goharshady, Amir Kafshdar
7
2016
Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs. Zbl 1347.68075
Chatterjee, Krishnendu; Fu, Hongfei; Novotný, Petr; Hasheminezhad, Rouzbeh
7
2016
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
4
2016
Quantitative monitor automata. Zbl 1394.68207
Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan
3
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
3
2016
Nested weighted limit-average automata of bounded width. Zbl 1398.68305
Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan
2
2016
Conditionally optimal algorithms for generalized Büchi games. Zbl 1398.68390
Chatterjee, Krishnendu; Dvořák, Wolfgang; Henzinger, Monika; Loitzenbauer, Veronika
2
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
2
2016
Perfect-information stochastic games with generalized mean-payoff objectives. Zbl 1401.68238
Chatterjee, Krishnendu; Doyen, Laurent
2
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
Computation tree logic for synchronization properties. Zbl 1388.68184
Chatterjee, Krishnendu; Doyen, Laurent
1
2016
What is decidable about partially observable Markov decision processes with \(\omega\)-regular objectives. Zbl 1338.68166
Chatterjee, Krishnendu; Chmelík, Martin; Tracol, Mathieu
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
20
2015
Looking at mean-payoff and total-payoff through windows. Zbl 1317.68065
Chatterjee, Krishnendu; Doyen, Laurent; Randour, Mickael; Raskin, Jean-François
9
2015
Amplifiers of selection. Zbl 1371.92093
Adlam, B.; Chatterjee, K.; Nowak, M. A.
9
2015
Probabilistic opacity for Markov decision processes. Zbl 1366.68213
Bérard, Béatrice; Chatterjee, Krishnendu; Sznajder, Nathalie
7
2015
Nested weighted automata. Zbl 1401.68154
Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan
6
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
6
2015
POMDPs under probabilistic semantics. Zbl 1329.90158
Chatterjee, Krishnendu; Chmelík, Martin
4
2015
Quantitative interprocedural analysis. Zbl 1345.68098
Chatterjee, Krishnendu; Pavlogiannis, Andreas; Velner, Yaron
4
2015
Measuring and synthesizing systems in probabilistic environments. Zbl 1321.68344
Chatterjee, Krishnendu; Henzinger, Thomas A.; Jobstmann, Barbara; Singh, Rohit
4
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
Faster algorithms for quantitative verification in constant treewidth graphs. Zbl 1381.68150
Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus; Pavlogiannis, Andreas
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
Quantitative temporal simulation and refinement distances for timed systems. Zbl 1360.68545
Chatterjee, Krishnendu; Prabhu, Vinayak S.
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
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
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
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
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
22
2014
Strategy synthesis for multi-dimensional quantitative objectives. Zbl 1360.68208
Chatterjee, Krishnendu; Randour, Mickael; Raskin, Jean-François
18
2014
Efficient and dynamic algorithms for alternating Büchi games and maximal end-component decomposition. Zbl 1295.91019
Chatterjee, Krishnendu; Henzinger, Monika
16
2014
Temporal specifications with accumulative values. Zbl 1354.68169
Boker, Udi; Chatterjee, Krishnendu; Henzinger, Thomas A.; Kupferman, Orna
13
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
10
2014
Partial-observation stochastic games, how to win when belief fails. Zbl 1291.91021
Chatterjee, Krishnendu; Doyen, Laurent
9
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
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
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
Perfect-information stochastic mean-payoff parity games. Zbl 1405.68225
Chatterjee, Krishnendu; Doyen, Laurent; Gimbert, Hugo; Oualhadj, Youssouf
3
2014
Assume-guarantee synthesis for digital contract signing. Zbl 1342.94068
Chatterjee, Krishnendu; Raman, Vishwanath
3
2014
Approximating the minimum cycle mean. Zbl 1417.68284
Chatterjee, Krishnendu; Henzinger, Monika; Krinninger, Sebastian; Loitzenbauer, Veronika; Raskin, Michael A.
2
2014
Edit distance for timed automata. Zbl 1360.68544
Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus; Majumdar, Rupak
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
Hyperplane separation technique for multidimensional mean-payoff games. Zbl 1371.68106
Chatterjee, Krishnendu; Velner, Yaron
7
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
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
5
2013
Multi-objective discounted reward verification in graphs and MDPs. Zbl 1406.68051
Chatterjee, Krishnendu; Forejt, Vojtěch; Wojtczak, Dominik
5
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
Strategy improvement for concurrent reachability and turn-based stochastic safety games. Zbl 1269.91022
Chatterjee, Krishnendu; de Alfaro, Luca; Henzinger, Thomas A.
4
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
Automated analysis of real-time scheduling using graph games. Zbl 1361.90021
Chatterjee, Krishnendu; Kößler, Alexander; Schmid, Ulrich
3
2013
Quantitative timed simulation functions and refinement metrics for real-time systems. Zbl 1361.68019
Chatterjee, Krishnendu; Prabhu, Vinayak S.
2
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
1
2013
The complexity of coverage. Zbl 1286.68310
Chatterjee, Krishnendu; De Alfaro, Luca; Majumdar, Rupak
1
2013
A survey of stochastic \(\omega \)-regular games. Zbl 1237.91036
Chatterjee, Krishnendu; Henzinger, Thomas A.
24
2012
Energy parity games. Zbl 1260.91039
Chatterjee, Krishnendu; Doyen, Laurent
23
2012
Decidable problems for probabilistic automata on infinite words. Zbl 1360.68546
Chatterjee, Krishnendu; Tracol, Mathieu
8
2012
Evolutionary game dynamics in populations with different learners. Zbl 1397.91062
Chatterjee, Krishnendu; Zufferey, Damien; Nowak, Martin A.
5
2012
Partial-observation stochastic games: how to win when belief fails. Zbl 1362.91008
Chatterjee, Krishnendu; Doyen, Laurent
5
2012
Mean-payoff pushdown games. Zbl 1361.68137
Chatterjee, Krishnendu; Velner, Yaron
5
2012
Robustness of structurally equivalent concurrent parity games. Zbl 1352.68178
Chatterjee, Krishnendu
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
...and 73 more Documents
all top 5

Cited by 700 Authors

59 Chatterjee, Krishnendu
29 Henzinger, Thomas A.
24 Raskin, Jean-François
23 Kupferman, Orna
19 Murano, Aniello
16 Droste, Manfred
16 Markey, Nicolas
15 Larsen, Kim Guldstrand
14 Bouyer, Patricia
13 Baier, Christel
13 Zimmermann, Martín G.
12 Avni, Guy
12 Doyen, Laurent
12 Legay, Axel
12 Mogavero, Fabio
11 Gutierrez, Julian
11 Katoen, Joost-Pieter
11 Perelli, Giuseppe
11 Randour, Mickael
10 Wooldridge, Michael J.
9 Bruyère, Véronique
9 Ibsen-Jensen, Rasmus
8 Brihaye, Thomas
8 Fahrenberg, Uli
8 Kwiatkowska, Marta Z.
8 Otop, Jan
8 Schewe, Sven
7 Benerecetti, Massimo
7 Bloem, Roderick
7 Jobstmann, Barbara
7 Klein, Joachim
7 Leroux, Stéphane
7 Pérez, Guillermo A.
7 Rauch Henzinger, Monika
6 Bozzelli, Laura
6 Chmelík, Martin
6 Dell’Erba, Daniele
6 Filiot, Emmanuel
6 Gurvich, Vladimir A.
6 Křetínský, Jan
6 Pauly, Arno M.
6 Vardi, Moshe Ya’akov
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 Majumdar, Rupak
5 Makino, Kazuhisa
5 Rubin, Sasha
5 Sorrentino, Loredana
4 Bertrand, Nathalie
4 Faella, Marco
4 Hansen, Kristoffer Arnsfelt
4 Harju, Tero
4 Junges, Sebastian
4 Meinecke, Ingmar
4 Michaliszyn, Jakub
4 Niskanen, Reino
4 Norman, Gethin
4 Pavlogiannis, Andreas
4 Piterman, Nir
4 Potapov, Igor
4 Sankur, Ocan
4 Solan, Eilon
4 Sproston, Jeremy
4 Topcu, Ufuk
4 Velner, Yaron
4 Weinert, Alexander
4 Wojtczak, Dominik
4 Worrell, James B.
3 Almagor, Shaull
3 Alrajeh, Dalal
3 Aminof, Benjamin
3 Belardinelli, Francesco
3 Bérard, Béatrice
3 Cavezza, Davide Giacomo
3 Černý, Pavol
3 Ćirić, Miroslav D.
3 de Alfaro, Luca
3 Delahaye, Benoît
3 Ésik, Zoltán
3 Fijalkow, Nathanaël
3 Flesch, Janos
3 Goeminne, Aline
3 Größer, Marcus
3 Guha, Shibashis
3 Gupta, Anshul
3 Haddad, Serge
3 Halava, Vesa
3 Horn, Florian
3 Hunter, Paul
3 Ignjatović, Jelena
3 Juhl, Line
3 Könighofer, Robert
3 Kostolányi, Peter
...and 600 more Authors
all top 5

Cited in 61 Serials

57 Information and Computation
43 Theoretical Computer Science
21 Acta Informatica
19 Formal Methods in System Design
16 Journal of Computer and System Sciences
15 Logical Methods in Computer Science
11 Artificial Intelligence
9 Information Processing Letters
9 Automatica
9 Discrete Event Dynamic Systems
9 ACM Transactions on Computational Logic
8 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 Games
4 Dynamic Games and Applications
4 Journal of Logical and Algebraic Methods in Programming
3 Discrete Applied Mathematics
3 Information Sciences
3 Mathematics of Operations Research
3 International Journal of Foundations of Computer Science
3 Economic Theory
3 The Journal of Logic and Algebraic Programming
3 Nonlinear Analysis. Hybrid Systems
2 Journal of Philosophical Logic
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 The Journal of Artificial Intelligence Research (JAIR)
2 Annals of Mathematics and Artificial Intelligence
2 Optimization Letters
1 Fuzzy Sets and Systems
1 Journal of Optimization Theory and Applications
1 SIAM Journal on Computing
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 Kinetic and Related Models
1 Vestnik Yuzhno-Ural’skogo Gosudarstvennogo Universiteta. Seriya Matematicheskoe Modelirovanie i Programmirovanie
1 Algorithms
1 RAIRO. Theoretical Informatics and Applications
1 Computer Science Review
1 Journal of Dynamics and Games

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.