Krishnendu Chatterjee, Ph.D. - Publications

Affiliations: 
2007 University of California, Berkeley, Berkeley, CA 
Area:
Computer Science

77 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2016 Chatterjee K, Fu H, Novotný P, Hasheminezhad R. Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs Acm Sigplan Notices. 51: 327-342. DOI: 10.1145/2837614.2837639  1
2016 Pandey V, Chatterjee K. Game-theoretic models identify useful principles for peer collaboration in online learning platforms Proceedings of the Acm Conference On Computer Supported Cooperative Work, Cscw. 26: 365-368. DOI: 10.1145/2818052.2869122  1
2015 Ibsen-Jensen R, Chatterjee K, Nowak MA. Computational complexity of ecological and evolutionary spatial dynamics. Proceedings of the National Academy of Sciences of the United States of America. PMID 26644569 DOI: 10.1073/pnas.1511366112  1
2015 Pavlogiannis A, Chatterjee K, Adlam B, Nowak MA. Cellular cooperation with shift updating and repulsion. Scientific Reports. 5: 17147. PMID 26602306 DOI: 10.1038/srep17147  1
2015 Reiter JG, Kanodia A, Gupta R, Nowak MA, Chatterjee K. Biological auctions with multiple rewards. Proceedings. Biological Sciences / the Royal Society. 282: 20151041. PMID 26180069 DOI: 10.1098/rspb.2015.1041  1
2015 Svorěnová M, Chmelík M, Leahy K, Eniser HF, Chatterjee K, Černá I, Belta C. Temporal logic motion planning using POMDPs with parity objectives: Case study paper Proceedings of the 18th International Conference On Hybrid Systems: Computation and Control, Hscc 2015. 233-238. DOI: 10.1145/2728606.2728617  1
2015 Chatterjee K, Prabhu VS. Quantitative Temporal Simulation and Refinement Distances for Timed Systems Ieee Transactions On Automatic Control. 60: 2291-2306. DOI: 10.1109/TAC.2015.2404612  1
2015 Adlam B, Chatterjee K, Nowak MA. Amplifiers of selection Proceedings of the Royal Society a: Mathematical, Physical and Engineering Sciences. 471. DOI: 10.1098/rspa.2015.0114  1
2015 Chatterjee K, Joglekar M, Shah N. Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives Theoretical Computer Science. 573: 71-89. DOI: 10.1016/j.tcs.2015.01.050  1
2015 Bloem R, Chatterjee K, Jacobs S, Könighofer R. Assume-guarantee synthesis for concurrent reactive programs with partial information Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9035: 517-532. DOI: 10.1007/978-3-662-46681-0_50  1
2014 Chatterjee K, Pavlogiannis A, Adlam B, Nowak MA. The time scale of evolutionary innovation. Plos Computational Biology. 10: e1003818. PMID 25211329 DOI: 10.1371/journal.pcbi.1003818  1
2014 Zagorsky BM, Reiter JG, Chatterjee K, Nowak MA. Correction: Forgiver triumphs in alternating prisoner's dilemma (PLoS ONE) Plos One. 9. DOI: 10.1371/annotation/a3480abf-52e4-43f3-b45c-b2bac5e84812  1
2014 Boker U, Chatterjee K, Henzinger TA, Kupferman O. Temporal specifications with accumulative values Acm Transactions On Computational Logic. 15. DOI: 10.1145/2629686  1
2014 Jha S, Tripakis S, Seshia SA, Chatterjee K. Game theoretic secure localization in wireless sensor networks 2014 International Conference On the Internet of Things, Iot 2014. 85-90. DOI: 10.1109/IOT.2014.7030120  1
2014 Chatterjee K, Henzinger M, Krinninger S, Loitzenbauer V, Raskin MA. Approximating the minimum cycle mean Theoretical Computer Science. 547: 104-116. DOI: 10.1016/j.tcs.2014.06.031  1
2014 Chatterjee K. Qualitative concurrent parity games: Bounded rationality Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8704: 544-559. DOI: 10.1007/978-3-662-44584-6_37  1
2014 Chatterjee K. Partial-observation stochastic reachability and parity games Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8634: 1-4. DOI: 10.1007/978-3-662-44522-8_1  1
2013 Chatterjee K, de Alfaro L, Henzinger TA. Strategy improvement for concurrent reachability and turn-based stochastic safety games. Journal of Computer and System Sciences. 79: 640-657. PMID 26516289 DOI: 10.1016/j.jcss.2012.12.001  1
2013 Zagorsky BM, Reiter JG, Chatterjee K, Nowak MA. Forgiver triumphs in alternating Prisoner's Dilemma. Plos One. 8: e80814. PMID 24349017 DOI: 10.1371/journal.pone.0080814  1
2013 Bozic I, Reiter JG, Allen B, Antal T, Chatterjee K, Shah P, Moon YS, Yaqubie A, Kelly N, Le DT, Lipson EJ, Chapman PB, Diaz LA, Vogelstein B, Nowak MA. Evolutionary dynamics of cancer in response to targeted combination therapy. Elife. 2: e00747. PMID 23805382 DOI: 10.7554/eLife.00747  1
2013 Novak S, Chatterjee K, Nowak MA. Density games. Journal of Theoretical Biology. 334: 26-34. PMID 23770399 DOI: 10.1016/j.jtbi.2013.05.029  1
2013 Reiter JG, Bozic I, Allen B, Chatterjee K, Nowak MA. The effect of one additional driver mutation on tumor progression. Evolutionary Applications. 6: 34-45. PMID 23396615 DOI: 10.1111/eva.12020  1
2013 Chatterjee K, Alfaro LD, Majumdar R. The complexity of coverage International Journal of Foundations of Computer Science. 24: 165-185. DOI: 10.1142/S0129054113400066  1
2013 Chatterjee K, Prabhu VS. Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems Information and Computation. DOI: 10.1016/j.ic.2013.04.003  1
2013 Chatterjee K, Henzinger M, Joglekar M, Shah N. Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives Formal Methods in System Design. 42: 301-327. DOI: 10.1007/s10703-012-0180-2  1
2013 Chatterjee K, De Alfaro L, Faella M, Majumdar R, Raman V. Code aware resource management Formal Methods in System Design. 42: 146-174. DOI: 10.1007/s10703-012-0170-4  1
2013 Chatterjee K, Doyen L, Henzinger TA. A survey of partial-observation stochastic parity games Formal Methods in System Design. 43: 268-284. DOI: 10.1007/s10703-012-0164-2  1
2013 Godhal Y, Chatterjee K, Henzinger TA. Synthesis of AMBA AHB from formal specification: A case study International Journal On Software Tools For Technology Transfer. 15: 585-601. DOI: 10.1007/s10009-011-0207-9  1
2013 Reiter JG, Bozic I, Chatterjee K, Nowak MA. TTP: Tool for tumor progression Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8044: 101-106. DOI: 10.1007/978-3-642-39799-8_6  1
2012 Chatterjee K, Doyen L. Energy parity games. Theoretical Computer Science. 458: 49-60. PMID 23470985 DOI: 10.1016/j.tcs.2012.07.038  0.76
2012 Chatterjee K, Zufferey D, Nowak MA. Evolutionary game dynamics in populations with different learners. Journal of Theoretical Biology. 301: 161-73. PMID 22394652 DOI: 10.1016/j.jtbi.2012.02.021  1
2012 Chatterjee K, Reiter JG, Nowak MA. Evolutionary dynamics of biological auctions. Theoretical Population Biology. 81: 69-80. PMID 22120126 DOI: 10.1016/j.tpb.2011.11.003  1
2012 Chatterjee K, Prabhu VS. Quantitative timed simulation functions and refinement metrics for real-time systems Hscc 2013 - Proceedings of the 16th International Conference On Hybrid Systems: Computation and Control, Part of Cpsweek 2013. 1: 273-282. DOI: 10.1145/2461328.2461370  1
2012 Chatterjee K, Henzinger TA, Prabhu VS. Finite automata with time-delay blocks Emsoft'12 - Proceedings of the 10th Acm International Conference On Embedded Software 2012, Co-Located With Esweek. 43-52. DOI: 10.1145/2380356.2380370  1
2012 Chatterjee K, Majumdar R. Discounting and averaging in games across time scales International Journal of Foundations of Computer Science. 23: 609-625. DOI: 10.1142/S0129054112400308  1
2012 Chatterjee K, Henzinger TA. A survey of stochastic ω-regular games Journal of Computer and System Sciences. 78: 394-413. DOI: 10.1016/j.jcss.2011.05.002  1
2012 Chatterjee K, Chmelík M, Majumdar R. Equivalence of games with probabilistic uncertainty and partial-observation games Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7561: 385-399. DOI: 10.1007/978-3-642-33386-6_30  1
2012 Chatterjee K, Henzinger M, Krinninger S, Nanongkai D. Polynomial-time algorithms for energy games with special weight structures Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7501: 301-312. DOI: 10.1007/978-3-642-33090-2_27  1
2012 Chatterjee K. Robustness of structurally equivalent concurrent parity games Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7213: 270-285. DOI: 10.1007/978-3-642-28729-9_18  1
2011 Chatterjee K, Prabhu VS. Synthesis of memory-efficient real-time controllers for safety objectives Hscc'11 - Proceedings of the 2011 Acm/Sigbed Hybrid Systems: Computation and Control. 221-230. DOI: 10.1145/1967701.1967734  1
2011 Chatterjee K, Majumdar R. Minimum attention controller synthesis for omega-regular objectives Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6919: 145-159. DOI: 10.1007/978-3-642-24310-3_11  1
2011 Chatterjee K, Henzinger TA, Jobstmann B, Singh R. QUASY: Quantitative synthesis tool Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6605: 267-271. DOI: 10.1007/978-3-642-19835-9_24  1
2010 Chatterjee K, Doyen L, Henzinger TA, Raskin JF. Generalized mean-payoff and energy games Leibniz International Proceedings in Informatics, Lipics. 8: 505-516. DOI: 10.4230/LIPIcs.FSTTCS.2010.505  1
2010 Chatterjee K, de Alfaro L, Majumdar R, Raman V. Algorithms for game metrics Logical Methods in Computer Science. 6: 1-27. DOI: 10.2168/LMCS-6(3:13)2010  1
2010 Chatterjee K, Henzinger TA, Piterman N. Strategy logic Information and Computation. 208: 677-693. DOI: 10.1016/j.ic.2009.07.004  1
2010 Chatterjee K, Henzinger TA. Probabilistic automata on infinite words: Decidability and undecidability results Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6252: 1-16. DOI: 10.1007/978-3-642-15643-4_1  1
2010 Chatterjee K, Doyen L, Henzinger TA. Qualitative analysis of partially-observable Markov decision processes Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6281: 258-269. DOI: 10.1007/978-3-642-15155-2_24  1
2010 Chatterjee K, Doyen L, Gimbert H, Henzinger TA. Randomness for free Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6281: 246-257. DOI: 10.1007/978-3-642-15155-2_23  1
2010 Chatterjee K, Henzinger TA, Jobstmann B, Radhakrishna A. Gist: A solver for probabilistic games Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6174: 665-669. DOI: 10.1007/978-3-642-14295-6_57  1
2010 Chatterjee K, Henzinger TA, Jobstmann B, Singh R. Measuring and synthesizing systems in probabilistic environments Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6174: 380-395. DOI: 10.1007/978-3-642-14295-6_34  1
2009 Chatterjee K, Doyen L, Henzinger TA. Expressiveness and closure properties for quantitative languages Proceedings - Symposium On Logic in Computer Science. 199-208. DOI: 10.2168/LMCS-6 (3:10) 2010  1
2009 Bloem R, Greimel K, Henzinger TA, Jobstmann B. Synthesizing robust systems 9th International Conference Formal Methods in Computer Aided Design, Fmcad 2009. 85-92. DOI: 10.1109/FMCAD.2009.5351139  0.4
2009 Chatterjee K, Doyen L, Henzinger TA. Probabilistic weighted automata Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5710: 244-258. DOI: 10.1007/978-3-642-04081-8_17  1
2009 Chatterjee K, Henzinger TA, Horn F. Stochastic Games with Finitary Objectives Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5734: 34-54. DOI: 10.1007/978-3-642-03816-7_4  1
2009 Chatterjee K, Doyen L, Henzinger TA. Alternating weighted automata Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5699: 3-13. DOI: 10.1007/978-3-642-03409-1_2  1
2009 Chatterjee K, Henzinger TA. Probabilistic systems with limsup and liminf objectives Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5489: 32-45. DOI: 10.1007/978-3-642-03092-5_4  1
2009 Chatterjee K, Doyen L, Henzinger TA. A survey of stochastic games with limsup and liminf objectives Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5556: 1-15. DOI: 10.1007/978-3-642-02930-1_1  1
2009 Bloem R, Chatterjee K, Henzinger TA, Jobstmann B. Better quality in synthesis through quantitative objectives Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5643: 140-156. DOI: 10.1007/978-3-642-02658-4_14  1
2008 Adler BT, Chatterjee K, De Alfaro L, Faella M, Pye I, Raman V. Assigning trust to Wikipedia content Wikisym 2008 - the 4th International Symposium On Wikis, Proceedings. DOI: 10.1145/1822258.1822293  1
2008 Chatterjee K, Henzinger TA. Reduction of stochastic parity to stochastic mean-payoff games Information Processing Letters. 106: 1-7. DOI: 10.1016/j.ipl.2007.08.035  1
2008 Chatterjee K, Majumdar R, Henzinger TA. Stochastic limit-average games are in EXPTIME International Journal of Game Theory. 37: 219-234. DOI: 10.1007/s00182-007-0110-5  1
2008 Chatterjee K, Doyen L, Henzinger TA. Quantitative languages Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5213: 385-400. DOI: 10.1007/978-3-540-87531-428  1
2008 Chatterjee K, Henzinger TA, Jobstmann B. Environment assumptions for synthesis Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5201: 147-161. DOI: 10.1007/978-3-540-85361-9_14  1
2008 Chatterjee K, Majumdar R, Henzinger TA. Controller synthesis with budget constraints Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4981: 72-86. DOI: 10.1007/978-3-540-78929-1-6  1
2008 Chatterjee K, Sen K, Henzinger TA. Model-checking ω-regular properties of interval Markov chains Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4962: 302-317. DOI: 10.1007/978-3-540-78499-9_22  1
2008 Chatterjee K, Henzinger TA. Value iteration Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5000: 107-138. DOI: 10.1007/978-3-540-69850-0_7  1
2007 Chatterjee K, Henzinger TA. Assume-guarantee synthesis Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4424: 261-278.  1
2006 Chatterjee K, De Alfaro L, Henzinger TA. The complexity of quantitative concurrent parity games Proceedings of the Annual Acm-Siam Symposium On Discrete Algorithms. 678-687. DOI: 10.1145/1109557.1109631  1
2006 Chatterjee K, De Alfaro L, Henzinger TA. Strategy improvement for concurrent reachability games Third International Conference On the Quantitative Evaluation of Systems, Qest 2006. 291-300. DOI: 10.1109/QEST.2006.37  1
2006 Chatterjee K, Henzinger TA, Jurdziński M. Games with secure equilibria Theoretical Computer Science. 365: 67-82. DOI: 10.1016/j.tcs.2006.07.032  1
2006 Chatterjee K, Henzinger TA. Finitary winning in ω-regular games Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3920: 257-271. DOI: 10.1007/11691372_17  1
2006 Chatterjee K, Henzinger TA. Strategy improvement and randomized subexponential algorithms for stochastic parity games Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3884: 512-523. DOI: 10.1007/11672142_42  1
2006 Chatterjee K, Doyen L, Henzinger TA, Raskin JE. Algorithms for omega-regular games with imperfect information Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4207: 287-302.  1
2006 Chatterjee K, Henzinger TA. Strategy improvement for stochastic Rabin and Streett games Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4137: 375-389.  1
2005 Chatterjee K, Henzinger TA. Semiperfect-information games Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3821: 1-18.  1
2004 Chatterjee K, Ma D, Majumdar R, Zhao T, Henzinger TA, Palsberg J. Stack size analysis for interrupt-driven programs Information and Computation. 194: 144-174. DOI: 10.1016/j.ic.2004.06.001  1
2003 Chatterjee K, Jurdziński M, Henzinger TA. Simple stochastic parity games Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2803: 100-113.  1
Show low-probability matches.