Edit Profile (opens in new tab) Chatterjee, Krishnendu Compute Distance To: Compute Author ID: 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 4 Contributions as Editor Co-Authors: 114 Co-Authors with 198 Joint Publications 1,924 Co-Co-Authors 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 all top 5 Serials 12 Information and Computation 10 Logical Methods in Computer Science 6 ACM Transactions on Computational Logic 5 Journal of Computer and System Sciences 5 Theoretical Computer Science 5 Formal Methods in System Design 4 Information Processing Letters 3 Acta Informatica 3 Artificial Intelligence 3 Journal of the ACM 3 Journal of Theoretical Biology 2 International Journal of Foundations of Computer Science 2 Lecture Notes in Computer Science 1 Discrete Applied Mathematics 1 IEEE Transactions on Automatic Control 1 International Journal of Game Theory 1 The Journal of Symbolic Logic 1 Mathematics of Operations Research 1 Theoretical Population Biology 1 Algorithmica 1 Journal of Automated Reasoning 1 Formal Aspects of Computing 1 Real-Time Systems 1 Nonlinear Analysis. Hybrid Systems 1 Games 1 Proceedings of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences all top 5 Fields 182 Computer science (68-XX) 121 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 30 Operations research, mathematical programming (90-XX) 16 Combinatorics (05-XX) 15 Mathematical logic and foundations (03-XX) 11 Systems theory; control (93-XX) 4 General and overarching topics; collections (00-XX) 3 Biology and other natural sciences (92-XX) 2 Information and communication theory, circuits (94-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Probability theory and stochastic processes (60-XX) Publications by Year all cited Publications top 5 cited Publications 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.68151Bloem, Roderick; Chatterjee, Krishnendu; Henzinger, Thomas A.; Jobstmann, Barbara 48 2009 Strategy logic. Zbl 1205.68197Chatterjee, Krishnendu; Henzinger, Thomas A.; Piterman, Nir 47 2010 Quantitative languages. Zbl 1351.68155Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. 37 2010 Quantitative languages. Zbl 1156.68449Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. 34 2008 Quantitative stochastic parity games. Zbl 1318.91027Chatterjee, Krishnendu; Jurdziński, Marcin; Henzinger, Thomas A. 32 2004 Generalized mean-payoff and energy games. Zbl 1245.68090Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.; Raskin, Jean-François 29 2010 Games with secure equilibria. Zbl 1108.91007Chatterjee, Krishnendu; Henzinger, Thomas A.; Jurdziński, Marcin 27 2006 On Nash equilibria in stochastic games. Zbl 1095.91001Chatterjee, Krishnendu; Majumdar, Rupak; Jurdziński, Marcin 25 2004 A survey of stochastic \(\omega \)-regular games. Zbl 1237.91036Chatterjee, Krishnendu; Henzinger, Thomas A. 24 2012 Algorithms for omega-regular games with imperfect information. Zbl 1125.91028Raskin, Jean-Francois; Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. 23 2007 Energy parity games. Zbl 1260.91039Chatterjee, Krishnendu; Doyen, Laurent 23 2012 Simple stochastic parity games. Zbl 1116.68493Chatterjee, Krishnendu; Jurdziński, Marcin; Henzinger, Thomas A. 23 2003 Synthesizing robust systems. Zbl 1302.93079Bloem, 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.68156Chatterjee, Krishnendu; Henzinger, Thomas A.; Horn, Florian 22 2009 Strategy logic. Zbl 1151.03327Chatterjee, Krishnendu; Henzinger, Thomas A.; Piterman, Nir 21 2007 The complexity of multi-mean-payoff and multi-energy games. Zbl 1309.68082Velner, 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.68272Chatterjee, Krishnendu; Henzinger, Monika 20 2011 Expressiveness and closure properties for quantitative languages. Zbl 1200.68135Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. 19 2010 Strategy synthesis for multi-dimensional quantitative objectives. Zbl 1360.68208Chatterjee, Krishnendu; Randour, Mickael; Raskin, Jean-François 18 2014 Alternating weighted automata. Zbl 1252.68167Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. 18 2009 Algorithms for omega-regular games with imperfect information. Zbl 1225.91012Chatterjee, 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.91019Chatterjee, Krishnendu; Henzinger, Monika 16 2014 Markov decision processes with multiple objectives. Zbl 1136.90498Chatterjee, Krishnendu; Majumdar, Rupak; Henzinger, Thomas A. 16 2006 Model-checking \(\omega \)-regular properties of interval Markov chains. Zbl 1138.68441Chatterjee, Krishnendu; Sen, Koushik; Henzinger, Thomas A. 15 2008 Energy parity games. Zbl 1288.68160Chatterjee, Krishnendu; Doyen, Laurent 14 2010 The complexity of stochastic Rabin and Streett games. Zbl 1085.68060Chatterjee, Krishnendu; de Alfaro, Luca; Henzinger, Thomas A. 14 2005 Temporal specifications with accumulative values. Zbl 1354.68169Boker, Udi; Chatterjee, Krishnendu; Henzinger, Thomas A.; Kupferman, Orna 13 2014 Assume-guarantee synthesis. Zbl 1186.68284Chatterjee, Krishnendu; Henzinger, Thomas A. 13 2007 Environment assumptions for synthesis. Zbl 1160.68437Chatterjee, Krishnendu; Henzinger, Thomas A.; Jobstmann, Barbara 13 2008 Concurrent games with tail objectives. Zbl 1177.91031Chatterjee, Krishnendu 11 2007 Graph games and reactive synthesis. Zbl 1392.68233Bloem, Roderick; Chatterjee, Krishnendu; Jobstmann, Barbara 11 2018 Qualitative analysis of partially-observable Markov decision processes. Zbl 1287.68104Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. 11 2010 Stochastic limit-average games are in EXPTIME. Zbl 1154.91004Chatterjee, Krishnendu; Majumdar, Rupak; Henzinger, Thomas A. 11 2008 Verification of Markov decision processes using learning algorithms. Zbl 1448.68290Brá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.68430Chatterjee, Krishnendu; de Alfaro, Luca; Henzinger, Thomas A. 10 2006 Randomness for free. Zbl 1287.91027Chatterjee, Krishnendu; Doyen, Laurent; Gimbert, Hugo; Henzinger, Thomas A. 10 2010 Generalized parity games. Zbl 1195.68053Chatterjee, Krishnendu; Henzinger, Thomas A.; Piterman, Nir 10 2007 Finitary winning in \(\omega\)-regular games. Zbl 1180.68171Chatterjee, Krishnendu; Henzinger, Thomas A. 9 2006 Partial-observation stochastic games, how to win when belief fails. Zbl 1291.91021Chatterjee, Krishnendu; Doyen, Laurent 9 2014 Markov decision processes with multiple long-run average objectives. Zbl 1326.90101Brá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.68065Chatterjee, Krishnendu; Doyen, Laurent; Randour, Mickael; Raskin, Jean-François 9 2015 Probabilistic weighted automata. Zbl 1254.68133Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. 9 2009 Amplifiers of selection. Zbl 1371.92093Adlam, B.; Chatterjee, K.; Nowak, M. A. 9 2015 Value iteration. Zbl 1143.68042Chatterjee, Krishnendu; Henzinger, Thomas A. 9 2008 What is decidable about partially observable Markov decision processes with omega-regular objectives. Zbl 1356.68142Chatterjee, Krishnendu; Chmelik, Martin; Tracol, Mathieu 8 2013 Decidable problems for probabilistic automata on infinite words. Zbl 1360.68546Chatterjee, Krishnendu; Tracol, Mathieu 8 2012 The complexity of partial-observation stochastic parity games with finite-memory strategies. Zbl 1405.68135Chatterjee, Krishnendu; Doyen, Laurent; Nain, Sumit; Vardi, Moshe Y. 8 2014 Nash equilibrium for upward-closed objectives. Zbl 1225.91009Chatterjee, Krishnendu 8 2006 Termination analysis of probabilistic programs through Positivstellensatz’s. Zbl 1411.68025Chatterjee, Krishnendu; Fu, Hongfei; Goharshady, Amir Kafshdar 7 2016 Probabilistic opacity for Markov decision processes. Zbl 1366.68213Bérard, Béatrice; Chatterjee, Krishnendu; Sznajder, Nathalie 7 2015 Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs. Zbl 1347.68075Chatterjee, Krishnendu; Fu, Hongfei; Novotný, Petr; Hasheminezhad, Rouzbeh 7 2016 Hyperplane separation technique for multidimensional mean-payoff games. Zbl 1371.68106Chatterjee, Krishnendu; Velner, Yaron 7 2013 Semiperfect-information games. Zbl 1172.68540Chatterjee, Krishnendu; Henzinger, Thomas A. 7 2005 Markov decision processes with multiple long-run average objectives. Zbl 1135.90427Chatterjee, Krishnendu 7 2007 Mean-payoff automaton expressions. Zbl 1287.68093Chatterjee, Krishnendu; Doyen, Laurent; Edelsbrunner, Herbert; Henzinger, Thomas A.; Rannou, Philippe 6 2010 Nested weighted automata. Zbl 1401.68154Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan 6 2015 Code aware resource management. Zbl 1291.68137Chatterjee, Krishnendu; De Alfaro, Luca; Faella, Marco; Majumdar, Rupak; Raman, Vishwanath 6 2013 A survey of partial-observation stochastic parity games. Zbl 1291.91022Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. 6 2013 Energy and mean-payoff parity Markov decision processes. Zbl 1343.90107Chatterjee, Krishnendu; Doyen, Laurent 6 2011 The complexity of partial-observation parity games. Zbl 1298.91050Chatterjee, Krishnendu; Doyen, Laurent 6 2010 Faster algorithms for algebraic path properties in recursive state machines with constant treewidth. Zbl 1346.68047Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus; Pavlogiannis, Andreas; Goyal, Prateesh 6 2015 Qualitative concurrent parity games. Zbl 1351.68179Chatterjee, Krishnendu; De Alfaro, Luca; Henzinger, Thomas A. 6 2011 Evolutionary game dynamics in populations with different learners. Zbl 1397.91062Chatterjee, Krishnendu; Zufferey, Damien; Nowak, Martin A. 5 2012 Quantitative automata under probabilistic semantics. Zbl 1401.68155Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan 5 2016 Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives. Zbl 1291.68251Chatterjee, Krishnendu; Henzinger, Monika; Joglekar, Manas; Shah, Nisarg 5 2013 Games with a weak adversary. Zbl 1409.68169Chatterjee, Krishnendu; Doyen, Laurent 5 2014 The complexity of ergodic mean-payoff games. Zbl 1410.68156Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus 5 2014 Infinite-state games with finitary conditions. Zbl 1356.68059Chatterjee, Krishnendu; Fijalkow, Nathanaël 5 2013 Timed parity games: complexity and robustness. Zbl 1237.68112Chatterjee, Krishnendu; Henzinger, Thomas A.; Prabhu, Vinayak S. 5 2011 Multi-objective discounted reward verification in graphs and MDPs. Zbl 1406.68051Chatterjee, Krishnendu; Forejt, Vojtěch; Wojtczak, Dominik 5 2013 Doomsday equilibria for omega-regular games. Zbl 1428.68181Chatterjee, Krishnendu; Doyen, Laurent; Filiot, Emmanuel; Raskin, Jean-François 5 2014 Polynomial-time algorithms for energy games with special weight structures. Zbl 1303.91048Chatterjee, Krishnendu; Henzinger, Monika; Krinninger, Sebastian; Nanongkai, Danupon 5 2014 Partial-observation stochastic games: how to win when belief fails. Zbl 1362.91008Chatterjee, Krishnendu; Doyen, Laurent 5 2012 Mean-payoff pushdown games. Zbl 1361.68137Chatterjee, Krishnendu; Velner, Yaron 5 2012 Stochastic invariants for probabilistic termination. Zbl 1380.68114Chatterjee, Krishnendu; Novotný, Petr; Žikelić, Đorđe 5 2017 Verifying quantitative properties using bound functions. Zbl 1159.68313Chakrabarti, Arindam; Chatterjee, Krishnendu; Henzinger, Thomas A.; Kupferman, Orna; Majumdar, Rupak 5 2005 Games with secure equilibria. Zbl 1143.68447Chatterjee, Krishnendu; Henzinger, Thomas A.; Jurdziński, Marcin 5 2005 Strategy improvement and randomized subexponential algorithms for stochastic parity games. Zbl 1136.91322Chatterjee, Krishnendu; Henzinger, Thomas A. 5 2006 Algorithms for game metrics. Zbl 1214.68245Chatterjee, Krishnendu; de Alfaro, Luca; Majumdar, Rupak; Raman, Vishwanath 4 2010 A survey of stochastic games with limsup and liminf objectives. Zbl 1248.91015Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. 4 2009 Robustness of structurally equivalent concurrent parity games. Zbl 1352.68178Chatterjee, Krishnendu 4 2012 POMDPs under probabilistic semantics. Zbl 1329.90158Chatterjee, Krishnendu; Chmelík, Martin 4 2015 Optimal cost almost-sure reachability in POMDPs. Zbl 1351.68307Chatterjee, Krishnendu; Chmelík, Martin; Gupta, Raghav; Kanodia, Ayush 4 2016 Trading performance for stability in Markov decision processes. Zbl 1366.68087Brá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.68274Chatterjee, Krishnendu; Henzinger, Monika; Krinninger, Sebastian; Nanongkai, Danupon 4 2012 The complexity of request-response games. Zbl 1330.68105Chatterjee, Krishnendu; Henzinger, Thomas A.; Horn, Florian 4 2011 Reduction of stochastic parity to stochastic mean-payoff games. Zbl 1186.68306Chatterjee, Krishnendu; Henzinger, Thomas A. 4 2008 Quantitative interprocedural analysis. Zbl 1345.68098Chatterjee, Krishnendu; Pavlogiannis, Andreas; Velner, Yaron 4 2015 Strategy improvement for concurrent reachability and turn-based stochastic safety games. Zbl 1269.91022Chatterjee, Krishnendu; de Alfaro, Luca; Henzinger, Thomas A. 4 2013 Measuring and synthesizing systems in probabilistic environments. Zbl 1321.68344Chatterjee, Krishnendu; Henzinger, Thomas A.; Jobstmann, Barbara; Singh, Rohit 4 2015 The complexity of stochastic Müller games. Zbl 1238.91022Chatterjee, Krishnendu 4 2012 Controller synthesis with budget constraints. Zbl 1144.93312Chatterjee, Krishnendu; Majumdar, Rupak; Henzinger, Thomas A. 4 2008 Strategy synthesis for multi-dimensional quantitative objectives. Zbl 1364.68278Chatterjee, Krishnendu; Randour, Mickael; Raskin, Jean-François 4 2012 Quantitative analysis of smart contracts. Zbl 1418.68024Chatterjee, Krishnendu; Goharshady, Amir Kafshdar; Velner, Yaron 3 2018 Quantitative monitor automata. Zbl 1394.68207Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan 3 2016 Looking at mean-payoff and total-payoff through windows. Zbl 1415.91065Chatterjee, Krishnendu; Doyen, Laurent; Randour, Mickael; Raskin, Jean-François 3 2013 Qualitative concurrent parity games: bounded rationality. Zbl 1417.68122Chatterjee, Krishnendu 3 2014 Evolutionary dynamics of biological auctions. Zbl 1322.92053Chatterjee, Krishnendu; Reiter, Johannes G.; Nowak, Martin A. 3 2012 Edit distance for pushdown automata. Zbl 1440.68151Chatterjee, Krishnendu; Henzinger, Thomas A.; Ibsen-Jensen, Rasmus; Otop, Jan 3 2015 Automated analysis of real-time scheduling using graph games. Zbl 1361.90021Chatterjee, Krishnendu; Kößler, Alexander; Schmid, Ulrich 3 2013 Termination analysis of probabilistic programs with martingales. Zbl 07311047Chatterjee, Krishnendu; Fu, Hongfei; Novotný, Petr 1 2021 Approximating values of generalized-reachability stochastic games. Zbl 1455.91035Ashok, Pranav; Chatterjee, Krishnendu; Křetínský, Jan; Weininger, Maximilian; Winkler, Tobias 3 2020 Termination of nondeterministic probabilistic programs. Zbl 07157059Fu, Hongfei; Chatterjee, Krishnendu 2 2019 Graph games and reactive synthesis. Zbl 1392.68233Bloem, Roderick; Chatterjee, Krishnendu; Jobstmann, Barbara 11 2018 Quantitative analysis of smart contracts. Zbl 1418.68024Chatterjee, Krishnendu; Goharshady, Amir Kafshdar; Velner, Yaron 3 2018 Quasipolynomial set-based symbolic algorithms for parity games. Zbl 1415.68142Chatterjee, Krishnendu; Dvořák, Wolfgang; Henzinger, Monika; Svozil, Alexander 2 2018 Strategy representation by decision trees in reactive synthesis. Zbl 1423.68118Brá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.68063Chatterjee, Krishnendu; Dvořák, Wolfgang; Henzinger, Monika; Loitzenbauer, Veronika 1 2018 Efficient algorithms for asymptotic bounds on termination time in VASS. Zbl 07298743Brá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 07378555Chatterjee, Krishnendu; Kafshdar, Goharshady Amir; Ibsen-Jensen, Rasmus; Velner, Yaron 1 2018 Stochastic invariants for probabilistic termination. Zbl 1380.68114Chatterjee, Krishnendu; Novotný, Petr; Žikelić, Đorđe 5 2017 Unifying two views on multiple mean-payoff objectives in Markov decision processes. Zbl 1448.68280Chatterjee, Krishnendu; Křetínská, Zuzana; Křetínský, Jan 3 2017 Trading performance for stability in Markov decision processes. Zbl 1359.90147Brázdil, Tomáš; Chatterjee, Krishnendu; Forejt, Vojtěch; Kučera, Antonín 3 2017 Nested weighted automata. Zbl 1407.68248Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan 2 2017 Faster Monte Carlo algorithms for fixation probability of the Moran process on undirected graphs. Zbl 1447.92274Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus; Nowak, Martin A. 2 2017 The cost of exactness in quantitative reachability. Zbl 1431.68073Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. 2 2017 Quantitative fair simulation games. Zbl 1370.68165Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan; Velner, Yaron 2 2017 Faster algorithms for weighted recursive state machines. Zbl 06721325Chatterjee, Krishnendu; Kragl, Bernhard; Mishra, Samarth; Pavlogiannis, Andreas 2 2017 Edit distance for pushdown automata. Zbl 1440.68152Chatterjee, Krishnendu; Henzinger, Thomas A.; Ibsen-Jensen, Rasmus; Otop, Jan 2 2017 Improved algorithms for parity and Streett objectives. Zbl 1459.68117Chatterjee, Krishnendu; Henzinger, Monika; Loitzenbauer, Veronika 2 2017 Optional interactions and suspicious behaviour facilitates trustful cooperation in prisoners dilemma. Zbl 1394.91049Priklopil, Tadeas; Chatterjee, Krishnendu; Nowak, Martin 1 2017 Improved set-based symbolic algorithms for parity games. Zbl 1436.68194Chatterjee, Krishnendu; Dvořák, Wolfgang; Henzinger, Monika; Loitzenbauer, Veronika 1 2017 Strategy complexity of concurrent safety games. Zbl 1447.91018Chatterjee, Krishnendu; Hansen, Kristoffer Arnsfelt; Ibsen-Jensen, Rasmus 1 2017 Hyperplane separation technique for multidimensional mean-payoff games. Zbl 1371.68107Chatterjee, Krishnendu; Velner, Yaron 1 2017 Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. Zbl 1351.93138Svoreň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.68184Chatterjee, Krishnendu; Osang, Georg 1 2017 Termination analysis of probabilistic programs through Positivstellensatz’s. Zbl 1411.68025Chatterjee, Krishnendu; Fu, Hongfei; Goharshady, Amir Kafshdar 7 2016 Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs. Zbl 1347.68075Chatterjee, Krishnendu; Fu, Hongfei; Novotný, Petr; Hasheminezhad, Rouzbeh 7 2016 Quantitative automata under probabilistic semantics. Zbl 1401.68155Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan 5 2016 Optimal cost almost-sure reachability in POMDPs. Zbl 1351.68307Chatterjee, Krishnendu; Chmelík, Martin; Gupta, Raghav; Kanodia, Ayush 4 2016 Quantitative monitor automata. Zbl 1394.68207Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan 3 2016 Algorithms for algebraic path properties in concurrent systems of constant treewidth components. Zbl 1347.68260Chatterjee, Krishnendu; Goharshady, Amir Kafshdar; Ibsen-Jensen, Rasmus; Pavlogiannis, Andreas 3 2016 Nested weighted limit-average automata of bounded width. Zbl 1398.68305Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan 2 2016 Conditionally optimal algorithms for generalized Büchi games. Zbl 1398.68390Chatterjee, 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.68189Chatterjee, Krishnendu; Dvořák, Wolfgang; Henzinger, Monika; Loitzenbauer, Veronika 2 2016 Perfect-information stochastic games with generalized mean-payoff objectives. Zbl 1401.68238Chatterjee, Krishnendu; Doyen, Laurent 2 2016 Optimal reachability and a space-time tradeoff for distance queries in constant-treewidth graphs. Zbl 1397.68030Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus; Pavlogiannis, Andreas 1 2016 Computation tree logic for synchronization properties. Zbl 1388.68184Chatterjee, Krishnendu; Doyen, Laurent 1 2016 What is decidable about partially observable Markov decision processes with \(\omega\)-regular objectives. Zbl 1338.68166Chatterjee, Krishnendu; Chmelík, Martin; Tracol, Mathieu 1 2016 The complexity of multi-mean-payoff and multi-energy games. Zbl 1309.68082Velner, 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.68065Chatterjee, Krishnendu; Doyen, Laurent; Randour, Mickael; Raskin, Jean-François 9 2015 Amplifiers of selection. Zbl 1371.92093Adlam, B.; Chatterjee, K.; Nowak, M. A. 9 2015 Probabilistic opacity for Markov decision processes. Zbl 1366.68213Bérard, Béatrice; Chatterjee, Krishnendu; Sznajder, Nathalie 7 2015 Nested weighted automata. Zbl 1401.68154Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan 6 2015 Faster algorithms for algebraic path properties in recursive state machines with constant treewidth. Zbl 1346.68047Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus; Pavlogiannis, Andreas; Goyal, Prateesh 6 2015 POMDPs under probabilistic semantics. Zbl 1329.90158Chatterjee, Krishnendu; Chmelík, Martin 4 2015 Quantitative interprocedural analysis. Zbl 1345.68098Chatterjee, Krishnendu; Pavlogiannis, Andreas; Velner, Yaron 4 2015 Measuring and synthesizing systems in probabilistic environments. Zbl 1321.68344Chatterjee, Krishnendu; Henzinger, Thomas A.; Jobstmann, Barbara; Singh, Rohit 4 2015 Edit distance for pushdown automata. Zbl 1440.68151Chatterjee, 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.93751Svoreň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.68150Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus; Pavlogiannis, Andreas 2 2015 Unifying two views on multiple mean-payoff objectives in Markov decision processes. Zbl 1401.68171Chatterjee, Krishnendu; Komárková, Zuzana; Křetínský, Jan 2 2015 Quantitative temporal simulation and refinement distances for timed systems. Zbl 1360.68545Chatterjee, Krishnendu; Prabhu, Vinayak S. 2 2015 Temporal logic motion planning using POMDPs with parity objectives (case study paper). Zbl 1364.93521Svoreň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.68104Brá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.68190Chatterjee, Krishnendu; Henzinger, Monika; Loitzenbauer, Veronika 1 2015 The complexity of synthesis from probabilistic components. Zbl 1440.68045Chatterjee, Krishnendu; Doyen, Laurent; Vardi, Moshe Y. 1 2015 Qualitative analysis of concurrent mean-payoff games. Zbl 1318.91039Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus 1 2015 The value 1 problem under finite-memory strategies for concurrent mean-payoff games. Zbl 1372.91007Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus 1 2015 Synthesizing robust systems. Zbl 1302.93079Bloem, 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.68208Chatterjee, 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.91019Chatterjee, Krishnendu; Henzinger, Monika 16 2014 Temporal specifications with accumulative values. Zbl 1354.68169Boker, Udi; Chatterjee, Krishnendu; Henzinger, Thomas A.; Kupferman, Orna 13 2014 Verification of Markov decision processes using learning algorithms. Zbl 1448.68290Brá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.91021Chatterjee, Krishnendu; Doyen, Laurent 9 2014 Markov decision processes with multiple long-run average objectives. Zbl 1326.90101Brá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.68135Chatterjee, Krishnendu; Doyen, Laurent; Nain, Sumit; Vardi, Moshe Y. 8 2014 Games with a weak adversary. Zbl 1409.68169Chatterjee, Krishnendu; Doyen, Laurent 5 2014 The complexity of ergodic mean-payoff games. Zbl 1410.68156Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus 5 2014 Doomsday equilibria for omega-regular games. Zbl 1428.68181Chatterjee, Krishnendu; Doyen, Laurent; Filiot, Emmanuel; Raskin, Jean-François 5 2014 Polynomial-time algorithms for energy games with special weight structures. Zbl 1303.91048Chatterjee, Krishnendu; Henzinger, Monika; Krinninger, Sebastian; Nanongkai, Danupon 5 2014 Qualitative concurrent parity games: bounded rationality. Zbl 1417.68122Chatterjee, Krishnendu 3 2014 Perfect-information stochastic mean-payoff parity games. Zbl 1405.68225Chatterjee, Krishnendu; Doyen, Laurent; Gimbert, Hugo; Oualhadj, Youssouf 3 2014 Assume-guarantee synthesis for digital contract signing. Zbl 1342.94068Chatterjee, Krishnendu; Raman, Vishwanath 3 2014 Approximating the minimum cycle mean. Zbl 1417.68284Chatterjee, Krishnendu; Henzinger, Monika; Krinninger, Sebastian; Loitzenbauer, Veronika; Raskin, Michael A. 2 2014 Edit distance for timed automata. Zbl 1360.68544Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus; Majumdar, Rupak 1 2014 What is decidable about partially observable Markov decision processes with omega-regular objectives. Zbl 1356.68142Chatterjee, Krishnendu; Chmelik, Martin; Tracol, Mathieu 8 2013 Hyperplane separation technique for multidimensional mean-payoff games. Zbl 1371.68106Chatterjee, Krishnendu; Velner, Yaron 7 2013 Code aware resource management. Zbl 1291.68137Chatterjee, Krishnendu; De Alfaro, Luca; Faella, Marco; Majumdar, Rupak; Raman, Vishwanath 6 2013 A survey of partial-observation stochastic parity games. Zbl 1291.91022Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. 6 2013 Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives. Zbl 1291.68251Chatterjee, Krishnendu; Henzinger, Monika; Joglekar, Manas; Shah, Nisarg 5 2013 Infinite-state games with finitary conditions. Zbl 1356.68059Chatterjee, Krishnendu; Fijalkow, Nathanaël 5 2013 Multi-objective discounted reward verification in graphs and MDPs. Zbl 1406.68051Chatterjee, Krishnendu; Forejt, Vojtěch; Wojtczak, Dominik 5 2013 Trading performance for stability in Markov decision processes. Zbl 1366.68087Brá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.91022Chatterjee, Krishnendu; de Alfaro, Luca; Henzinger, Thomas A. 4 2013 Looking at mean-payoff and total-payoff through windows. Zbl 1415.91065Chatterjee, Krishnendu; Doyen, Laurent; Randour, Mickael; Raskin, Jean-François 3 2013 Automated analysis of real-time scheduling using graph games. Zbl 1361.90021Chatterjee, Krishnendu; Kößler, Alexander; Schmid, Ulrich 3 2013 Quantitative timed simulation functions and refinement metrics for real-time systems. Zbl 1361.68019Chatterjee, Krishnendu; Prabhu, Vinayak S. 2 2013 Density games. Zbl 1397.91074Novak, 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.68310Chatterjee, Krishnendu; De Alfaro, Luca; Majumdar, Rupak 1 2013 A survey of stochastic \(\omega \)-regular games. Zbl 1237.91036Chatterjee, Krishnendu; Henzinger, Thomas A. 24 2012 Energy parity games. Zbl 1260.91039Chatterjee, Krishnendu; Doyen, Laurent 23 2012 Decidable problems for probabilistic automata on infinite words. Zbl 1360.68546Chatterjee, Krishnendu; Tracol, Mathieu 8 2012 Evolutionary game dynamics in populations with different learners. Zbl 1397.91062Chatterjee, Krishnendu; Zufferey, Damien; Nowak, Martin A. 5 2012 Partial-observation stochastic games: how to win when belief fails. Zbl 1362.91008Chatterjee, Krishnendu; Doyen, Laurent 5 2012 Mean-payoff pushdown games. Zbl 1361.68137Chatterjee, Krishnendu; Velner, Yaron 5 2012 Robustness of structurally equivalent concurrent parity games. Zbl 1352.68178Chatterjee, Krishnendu 4 2012 Polynomial-time algorithms for energy games with special weight structures. Zbl 1365.68274Chatterjee, Krishnendu; Henzinger, Monika; Krinninger, Sebastian; Nanongkai, Danupon 4 2012 The complexity of stochastic Müller games. Zbl 1238.91022Chatterjee, Krishnendu 4 2012 ...and 73 more Documents all cited Publications top 5 cited Publications 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 all top 5 Cited in 19 Fields 405 Computer science (68-XX) 212 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 103 Mathematical logic and foundations (03-XX) 38 Operations research, mathematical programming (90-XX) 31 Systems theory; control (93-XX) 21 Combinatorics (05-XX) 20 Probability theory and stochastic processes (60-XX) 16 Biology and other natural sciences (92-XX) 8 Information and communication theory, circuits (94-XX) 3 Associative rings and algebras (16-XX) 2 Measure and integration (28-XX) 2 Calculus of variations and optimal control; optimization (49-XX) 1 General and overarching topics; collections (00-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Commutative algebra (13-XX) 1 Category theory; homological algebra (18-XX) 1 Partial differential equations (35-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Numerical analysis (65-XX) 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.