342 Publications

Mark all

[342]
2019 | Conference Paper | IST-REx-ID: 6490
Chatterjee, Krishnendu, et al. “The Treewidth of Smart Contracts.” Proceedings of the 34th ACM Symposium on Applied Computing, vol. Part F147772, ACM, pp. 400–08, doi:10.1145/3297280.3297322.
View | DOI
 
[341]
2019 | Conference Paper | IST-REx-ID: 5948
Fu, Hongfei, and Krishnendu Chatterjee. Termination of Nondeterministic Probabilistic Programs. Edited by Constantin Enea and Ruzica Piskac, vol. 11388, Springer, 2019, pp. 468–90, doi:10.1007/978-3-030-11245-5_22.
View | DOI
 
[340]
2019 | Conference Paper | IST-REx-ID: 6175   OA
Wang, Peixin, et al. “Cost Analysis of Nondeterministic Probabilistic Programs.” 40th ACM Conference on Programming Language Design and Implementation (PLDI 2019).
View | Files available | arXiv
 
[339]
2019 | Conference Paper | IST-REx-ID: 6056   OA
Chatterjee, Krishnendu, et al. “Probabilistic Smart Contracts: Secure Randomness on the Blockchain.” IEEE International Conference on Blockchain and Cryptocurrency, IEEE.
View | Files available | Download (ext.) | arXiv
 
[338]
2019 | Journal Article | IST-REx-ID: 6380   OA
Chatterjee, Krishnendu, et al. “Efficient Parameterized Algorithms for Data Packing.” Proceedings of the ACM on Programming Languages, vol. 3, no. POPL, ACM, 2019, p. 53, doi:10.1145/3290366.
View | Files available | DOI
 
[337]
2019 | Conference Paper | IST-REx-ID: 6378   OA
Chatterjee, Krishnendu, et al. “Hybrid Mining: Exploiting Blockchain’s Computational Power for Distributed Problem Solving.” Proceedings of the 34th ACM Symposium on Applied Computing, vol. Part F147772, ACM, pp. 374–81, doi:10.1145/3297280.3297319.
View | Files available | DOI
 
[336]
2019 | Conference Paper | IST-REx-ID: 6462   OA
Avni, Guy, et al. “Run-Time Optimization for Learned Controllers through Quantitative Games.” 31st International Conference on Computer-Aided Verification, vol. 11561, Springer, 2019, pp. 630–49, doi:10.1007/978-3-030-25540-4_36.
View | Files available | DOI
 
[335]
2019 | Conference Paper | IST-REx-ID: 6780   OA
Huang, Mingzhang, et al. “Modular Verification for Almost-Sure Termination of Probabilistic Programs.” Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications , ACM.
View | Files available | Download (ext.) | arXiv
 
[334]
2018 | Conference Paper | IST-REx-ID: 143   OA
Brázdil, Tomáš, et al. Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS. Vol. F138033, IEEE, 2018, pp. 185–94, doi:10.1145/3209108.3209191.
View | DOI | Download (ext.)
 
[333]
2018 | Journal Article | IST-REx-ID: 198   OA
Ibsen-Jensen, Rasmus, et al. “Language Acquisition with Communication between Learners.” Journal of the Royal Society Interface, vol. 15, no. 140, 20180073, Royal Society, 2018, doi:10.1098/rsif.2018.0073.
View | Files available | DOI
 
[332]
2018 | Conference Paper | IST-REx-ID: 35   OA
Chatterjee, Krishnendu, et al. “Algorithms and Conditional Lower Bounds for Planning Problems.” 28th International Conference on Automated Planning and Scheduling , AAAI Press, 2018.
View | Download (ext.) | arXiv
 
[331]
2018 | Book Chapter | IST-REx-ID: 59
Bloem, Roderick, et al. “Graph Games and Reactive Synthesis.” Handbook of Modeling Checking, edited by Thomas A Henzinger et al., 1st ed., Springer, 2018, pp. 921–62, doi:10.1007/978-3-319-10575-8_27.
View | DOI
 
[330]
2018 | Conference Paper | IST-REx-ID: 66   OA
Chatterjee, Krishnendu, et al. Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies. Vol. 118, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 11, doi:10.4230/LIPIcs.CONCUR.2018.11.
View | Files available | DOI | Download (ext.) | arXiv
 
[329]
2018 | Conference Paper | IST-REx-ID: 24   OA
Chatterjee, Krishnendu, et al. Expectation Optimization with Probabilistic Guarantees in POMDPs with Discounted-Sum Objectives. Vol. 2018, IJCAI, 2018, pp. 4692–99, doi:10.24963/ijcai.2018/652.
View | DOI | Download (ext.) | arXiv
 
[328]
2018 | Conference Paper | IST-REx-ID: 310   OA
Chatterjee, Krishnendu, et al. Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety and Diameter. ACM, 2018, pp. 2341–56, doi:10.1137/1.9781611975031.151.
View | DOI | Download (ext.) | arXiv
 
[327]
2018 | Journal Article | IST-REx-ID: 454   OA
Reiter, Johannes, et al. “Crosstalk in Concurrent Repeated Games Impedes Direct Reciprocity and Requires Stronger Levels of Forgiveness.” Nature Communications, vol. 9, no. 1, 555, Nature Publishing Group, 2018, doi:10.1038/s41467-017-02721-8.
View | Files available | DOI
 
[326]
2018 | Journal Article | IST-REx-ID: 6009   OA
Chatterjee, Krishnendu, et al. “Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components.” ACM Transactions on Programming Languages and Systems, vol. 40, no. 3, Association for Computing Machinery (ACM), 2018, p. 9, doi:10.1145/3210257.
View | Files available | DOI | Download (ext.) | arXiv
 
[325]
2018 | Journal Article | IST-REx-ID: 5993   OA
Chatterjee, Krishnendu, et al. “Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs.” ACM Transactions on Programming Languages and Systems, vol. 40, no. 2, Association for Computing Machinery (ACM), 2018, p. 7, doi:10.1145/3174800.
View | Files available | DOI | Download (ext.) | arXiv
 
[324]
2018 | Conference Paper | IST-REx-ID: 6340   OA
Goharshady, Amir Kafshdar, et al. “Secure Credit Reporting on the Blockchain.” Proceedings of the IEEE International Conference on Blockchain, IEEE, 2018, pp. 1343–48.
View | Files available | arXiv
 
[323]
2018 | Conference Paper | IST-REx-ID: 79   OA
Arming, Sebastian, et al. Parameter-Independent Strategies for PMDPs via POMDPs. Vol. 11024, Springer, 2018, pp. 53–70, doi:10.1007/978-3-319-99154-2_4.
View | DOI | Download (ext.) | arXiv
 
[322]
2018 | Journal Article | IST-REx-ID: 738   OA
Chatterjee, Krishnendu, et al. “Automated Competitive Analysis of Real Time Scheduling with Graph Games.” Real-Time Systems, vol. 54, no. 1, Springer, 2018, pp. 166–207, doi:10.1007/s11241-017-9293-4.
View | Files available | DOI
 
[321]
2018 | Book Chapter | IST-REx-ID: 86
Chatterjee, Krishnendu, et al. “Computing Average Response Time.” Principles of Modeling, edited by Marten Lohstroh et al., vol. 10760, Springer, 2018, pp. 143–61, doi:10.1007/978-3-319-95246-8_9.
View | DOI
 
[320]
2018 | Journal Article | IST-REx-ID: 157
Hilbe, Christian, et al. “Evolution of Cooperation in Stochastic Games.” Nature, vol. 559, no. 7713, Nature Publishing Group, 2018, pp. 246–49, doi:10.1038/s41586-018-0277-x.
View | Files available | DOI
 
[319]
2018 | Conference Paper | IST-REx-ID: 25
Horák, Karel, et al. “Goal-HSVI: Heuristic Search Value Iteration for Goal-POMDPs.” Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, vol. 2018–July, IJCAI, 2018, pp. 4764–70, doi:10.24963/ijcai.2018/662 .
View | DOI
 
[318]
2018 | Conference Paper | IST-REx-ID: 311   OA
Chatterjee, Krishnendu, et al. Quantitative Analysis of Smart Contracts. Vol. 10801, Springer, 2018, pp. 739–67, doi:10.1007/978-3-319-89884-1_26.
View | Files available | DOI
 
[317]
2018 | Conference Paper | IST-REx-ID: 141   OA
Chatterjee, Krishnendu, et al. Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives. Vol. 10982, Springer, 2018, pp. 178–97, doi:10.1007/978-3-319-96142-2_13.
View | Files available | DOI
 
[316]
2018 | Journal Article | IST-REx-ID: 2   OA
Hilbe, Christian, et al. “Indirect Reciprocity with Private Noisy and Incomplete Information.” PNAS, vol. 115, no. 48, National Academy of Sciences, 2018, pp. 12241–46, doi:10.1073/pnas.1810565115 .
View | Files available | DOI | Download (ext.) | PubMed | Europe PMC
 
[315]
2018 | Conference Paper | IST-REx-ID: 297   OA
Brázdil, Tomáš, et al. Strategy Representation by Decision Trees in Reactive Synthesis. Vol. 10805, Springer, 2018, pp. 385–407, doi:10.1007/978-3-319-89960-2_21.
View | Files available | DOI
 
[314]
2018 | Conference Paper | IST-REx-ID: 325   OA
Agrawal, Sheshansh, et al. Lexicographic Ranking Supermartingales: An Efficient Approach to Termination of Probabilistic Programs. Vol. 2, no. POPL, 34, ACM, 2018, doi:10.1145/3158122.
View | DOI | Download (ext.) | arXiv
 
[313]
2018 | Conference Paper | IST-REx-ID: 34   OA
Chatterjee, Krishnendu, et al. Sensor Synthesis for POMDPs with Reachability Objectives. Vol. 2018, AAAI Press, 2018, pp. 47–55.
View | Download (ext.) | arXiv
 
[312]
2018 | Journal Article | IST-REx-ID: 419
Hilbe, Christian, et al. “Partners and Rivals in Direct Reciprocity.” Nature Human Behaviour, vol. 2, Nature Publishing Group, 2018, pp. 469–477, doi:10.1038/s41562-018-0320-9.
View | Files available | DOI
 
[311]
2018 | Conference Paper | IST-REx-ID: 5679   OA
Huang, Mingzhang, et al. New Approaches for Almost-Sure Termination of Probabilistic Programs. Edited by Sukyoung Ryu, vol. 11275, Springer, 2018, pp. 181–201, doi:10.1007/978-3-030-02768-1_11.
View | DOI | Download (ext.) | arXiv
 
[310]
2018 | Preprint | IST-REx-ID: 5977   OA
Chatterjee, Krishnendu, et al. “Computational Approaches for Stochastic Shortest Path on Succinct MDPs.” ArXiv, ArXiv.
View | Download (ext.) | arXiv
 
[309]
2018 | Journal Article | IST-REx-ID: 5751   OA
Pavlogiannis, Andreas, et al. “Construction of Arbitrarily Strong Amplifiers of Natural Selection Using Evolutionary Graph Theory.” Communications Biology, vol. 1, no. 1, Springer Nature, 2018, p. 71, doi:10.1038/s42003-018-0078-7.
View | Files available | DOI
 
[308]
2017 | Journal Article | IST-REx-ID: 1065
Chatterjee, Krishnendu, and Georg F. Osang. “Pushdown Reachability with Constant Treewidth.” Information Processing Letters, vol. 122, Elsevier, 2017, pp. 25–29, doi:10.1016/j.ipl.2017.02.003.
View | Files available | DOI
 
[307]
2017 | Journal Article | IST-REx-ID: 1407
Svoreňová, Mária, et al. “Temporal Logic Control for Stochastic Linear Systems Using Abstraction Refinement of Probabilistic Games.” Nonlinear Analysis: Hybrid Systems, vol. 23, no. 2, Elsevier, 2017, pp. 230–53, doi:10.1016/j.nahs.2016.04.006.
View | Files available | DOI | Download (ext.)
 
[306]
2017 | Journal Article | IST-REx-ID: 465
Chatterjee, Krishnendu, et al. “Edit Distance for Pushdown Automata.” Logical Methods in Computer Science, vol. 13, no. 3, International Federation of Computational Logic, 2017, doi:10.23638/LMCS-13(3:23)2017.
View | Files available | DOI
 
[305]
2017 | Journal Article | IST-REx-ID: 681   OA
Chatterjee, Krishnendu, et al. “Doomsday Equilibria for Omega-Regular Games.” Information and Computation, vol. 254, Elsevier, 2017, pp. 296–315, doi:10.1016/j.ic.2016.10.012.
View | DOI | Download (ext.)
 
[304]
2017 | Journal Article | IST-REx-ID: 744
Priklopil, Tadeas, et al. “Optional Interactions and Suspicious Behaviour Facilitates Trustful Cooperation in Prisoners Dilemma.” Journal of Theoretical Biology, vol. 433, Academic Press, 2017, pp. 64–72, doi:10.1016/j.jtbi.2017.08.025.
View | DOI
 
[303]
2017 | Conference Paper | IST-REx-ID: 1009   OA
Chatterjee, Krishnendu, et al. “Optimizing Expectation with Guarantees in POMDPs.” Proceedings of the 31st AAAI Conference on Artificial Intelligence, vol. 5, AAAI Press, 2017, pp. 3725–32.
View | Download (ext.)
 
[302]
2017 | Conference Paper | IST-REx-ID: 1011   OA
Chatterjee, Krishnendu, et al. Faster Algorithms for Weighted Recursive State Machines. Edited by Hongseok Yang, vol. 10201, Springer, 2017, pp. 287–313, doi:10.1007/978-3-662-54434-1_11.
View | DOI | Download (ext.)
 
[301]
2017 | Journal Article | IST-REx-ID: 1080   OA
Reiter, Johannes, et al. “Reconstructing Metastatic Seeding Patterns of Human Cancers.” Nature Communications, vol. 8, 14114, Nature Publishing Group, 2017, doi:10.1038/ncomms14114.
View | Files available | DOI
 
[300]
2017 | Journal Article | IST-REx-ID: 1294
Brázdil, Tomáš, et al. “Trading Performance for Stability in Markov Decision Processes.” Journal of Computer and System Sciences, vol. 84, Elsevier, 2017, pp. 144–70, doi:10.1016/j.jcss.2016.09.009.
View | Files available | DOI
 
[299]
2017 | Journal Article | IST-REx-ID: 466
Chatterjee, Krishnendu, et al. “Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes.” Logical Methods in Computer Science, vol. 13, no. 2, International Federation of Computational Logic, 2017, p. 15, doi:10.23638/LMCS-13(2:15)2017.
View | Files available | DOI
 
[298]
2017 | Journal Article | IST-REx-ID: 1066
Chatterjee, Krishnendu, et al. “Quantitative Fair Simulation Games.” Information and Computation, vol. 254, no. 2, Elsevier, 2017, pp. 143–66, doi:10.1016/j.ic.2016.10.006.
View | Files available | DOI
 
[297]
2017 | Journal Article | IST-REx-ID: 512
Pavlogiannis, Andreas, et al. “Amplification on Undirected Population Structures: Comets Beat Stars.” Scientific Reports, vol. 7, no. 1, 82, Nature Publishing Group, 2017, doi:10.1038/s41598-017-00107-w.
View | Files available | DOI
 
[296]
2017 | Technical Report | IST-REx-ID: 5455   OA
Chatterjee, Krishnendu, et al. Optimal Dyck Reachability for Data-Dependence and Alias Analysis. IST Austria, 2017, doi:10.15479/AT:IST-2017-870-v1-1.
View | Files available | DOI
 
[295]
2017 | Book Chapter | IST-REx-ID: 625
Chatterjee, Krishnendu, et al. “The Cost of Exactness in Quantitative Reachability.” Models, Algorithms, Logics and Tools, edited by Luca Aceto et al., vol. 10460, Springer, 2017, pp. 367–81, doi:10.1007/978-3-319-63121-9_18.
View | DOI
 
[294]
2017 | Journal Article | IST-REx-ID: 719
Chatterjee, Krishnendu, and Rüdiger Ehlers. “Special Issue: Synthesis and SYNT 2014.” Acta Informatica, vol. 54, no. 6, Springer, 2017, pp. 543–44, doi:10.1007/s00236-017-0299-0.
View | DOI
 
[293]
2017 | Conference Paper | IST-REx-ID: 1194   OA
Chatterjee, Krishnendu, et al. Stochastic Invariants for Probabilistic Termination. Vol. 52, no. 1, ACM, 2017, pp. 145–60, doi:10.1145/3009837.3009873.
View | DOI | Download (ext.)
 
[292]
2017 | Journal Article | IST-REx-ID: 467
Chatterjee, Krishnendu, et al. “Nested Weighted Automata.” ACM Transactions on Computational Logic (TOCL), vol. 18, no. 4, ACM, 2017, p. 31, doi:10.1145/3152769.
View | Files available | DOI | Download (ext.) | arXiv
 
[291]
2017 | Technical Report | IST-REx-ID: 5456   OA
Chalupa, Marek, et al. Data-Centric Dynamic Partial Order Reduction. IST Austria, 2017, doi:10.15479/AT:IST-2017-872-v1-1.
View | Files available | DOI
 
[290]
2017 | Conference Paper | IST-REx-ID: 551   OA
Chatterjee, Krishnendu, et al. “Faster Monte Carlo Algorithms for Fixation Probability of the Moran Process on Undirected Graphs.” Leibniz International Proceedings in Informatics, vol. 83, 61, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, doi:10.4230/LIPIcs.MFCS.2017.61.
View | Files available | DOI
 
[289]
2017 | Conference Paper | IST-REx-ID: 645   OA
Ashok, Pranav, et al. Value Iteration for Long Run Average Reward in Markov Decision Processes. Edited by Rupak Majumdar and Viktor Kunčak, vol. 10426, Springer, 2017, pp. 201–21, doi:10.1007/978-3-319-63387-9_10.
View | DOI | Download (ext.)
 
[288]
2017 | Journal Article | IST-REx-ID: 671   OA
Hilbe, Christian, et al. “Memory-n Strategies of Direct Reciprocity.” PNAS, vol. 114, no. 18, National Academy of Sciences, 2017, pp. 4715–20, doi:10.1073/pnas.1621239114.
View | DOI | Download (ext.) | PubMed | Europe PMC
 
[287]
2017 | Conference Paper | IST-REx-ID: 552   OA
Chatterjee, Krishnendu, et al. “Faster Algorithms for Mean Payoff Parity Games.” Leibniz International Proceedings in Informatics, vol. 83, 39, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, doi:10.4230/LIPIcs.MFCS.2017.39.
View | Files available | DOI
 
[286]
2017 | Conference Paper | IST-REx-ID: 639   OA
Chatterjee, Krishnendu, et al. Non-Polynomial Worst Case Analysis of Recursive Programs. Edited by Rupak Majumdar and Viktor Kunčak, vol. 10427, Springer, 2017, pp. 41–63, doi:10.1007/978-3-319-63390-9_3.
View | DOI | Download (ext.)
 
[285]
2017 | Journal Article | IST-REx-ID: 653
Makohon Moore, Alvin, et al. “Limited Heterogeneity of Known Driver Gene Mutations among the Metastases of Individual Patients with Pancreatic Cancer.” Nature Genetics, vol. 49, no. 3, Nature Publishing Group, 2017, pp. 358–66, doi:10.1038/ng.3764.
View | DOI
 
[284]
2017 | Journal Article | IST-REx-ID: 684   OA
Chatterjee, Krishnendu, and Nir Piterman. “Obligation Blackwell Games and P-Automata.” Journal of Symbolic Logic, vol. 82, no. 2, Cambridge University Press, 2017, pp. 420–52, doi:10.1017/jsl.2016.71.
View | DOI | Download (ext.)
 
[283]
2017 | Conference Paper | IST-REx-ID: 711   OA
Chatterjee, Krishnendu, et al. Bidirectional Nested Weighted Automata. Vol. 85, 5, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, doi:10.4230/LIPIcs.CONCUR.2017.5.
View | Files available | DOI
 
[282]
2017 | Journal Article | IST-REx-ID: 716
Chatterjee, Krishnendu, and Yaron Velner. “The Complexity of Mean-Payoff Pushdown Games.” Journal of the ACM, vol. 64, no. 5, ACM, 2017, p. 34, doi:10.1145/3121408.
View | DOI
 
[281]
2017 | Conference Paper | IST-REx-ID: 949   OA
Chatterjee, Krishnendu, et al. JTDec: A Tool for Tree Decompositions in Soot. Edited by Deepak D’Souza, vol. 10482, Springer, 2017, pp. 59–66, doi:10.1007/978-3-319-68167-2_4.
View | Files available | DOI
 
[280]
2017 | Journal Article | IST-REx-ID: 464   OA
Chatterjee, Krishnendu, et al. “Improved Algorithms for Parity and Streett Objectives.” Logical Methods in Computer Science, vol. 13, no. 3, 26, International Federation of Computational Logic, 2017, doi:10.23638/LMCS-13(3:26)2017.
View | Files available | DOI
 
[279]
2017 | Conference Paper | IST-REx-ID: 553   OA
Chatterjee, Krishnendu, et al. “Strategy Complexity of Concurrent Safety Games.” Leibniz International Proceedings in Informatics, vol. 83, 55, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, doi:10.4230/LIPIcs.MFCS.2017.55.
View | Files available | DOI | Download (ext.)
 
[278]
2017 | Conference Paper | IST-REx-ID: 628   OA
Chatterjee, Krishnendu, et al. Automated Recurrence Analysis for Almost Linear Expected Runtime Bounds. Edited by Rupak Majumdar and Viktor Kunčak, vol. 10426, Springer, 2017, pp. 118–39, doi:10.1007/978-3-319-63387-9_6.
View | DOI | Download (ext.)
 
[277]
2017 | Conference Paper | IST-REx-ID: 6519   OA
Chatterjee, Krishnendu, et al. Improved Set-Based Symbolic Algorithms for Parity Games. Vol. 82, Schloss Dagstuhl -Leibniz-Zentrum fuer Informatik, 2017, p. 18, doi:10.4230/LIPICS.CSL.2017.18.
View | Files available | DOI
 
[276]
2017 | Journal Article | IST-REx-ID: 717   OA
Chatterjee, Krishnendu, and Yaron Velner. “Hyperplane Separation Technique for Multidimensional Mean-Payoff Games.” Journal of Computer and System Sciences, vol. 88, Academic Press, 2017, pp. 236–59, doi:10.1016/j.jcss.2017.04.005.
View | Files available | DOI | Download (ext.)
 
[275]
2017 | Research Data | IST-REx-ID: 5559
Pavlogiannis, Andreas, et al. Strong Amplifiers of Natural Selection. IST Austria, 2017, doi:10.15479/AT:ISTA:51.
View | Files available | DOI
 
[274]
2016 | Conference Paper | IST-REx-ID: 1166
Chatterjee, Krishnendu, et al. “A Symbolic SAT Based Algorithm for Almost Sure Reachability with Small Strategies in Pomdps.” Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, vol. 2016, AAAI Press, 2016, pp. 3225–32.
View | Files available
 
[273]
2016 | Conference Paper | IST-REx-ID: 1438
Chatterjee, Krishnendu, et al. Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs. Vol. 20–22, ACM, 2016, pp. 327–42, doi:10.1145/2837614.2837639.
View | Files available | DOI | Download (ext.) | arXiv
 
[272]
2016 | Conference Paper | IST-REx-ID: 478   OA
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. The Complexity of Deciding Legality of a Single Step of Magic: The Gathering. Vol. 285, IOS Press, 2016, pp. 1432–39, doi:10.3233/978-1-61499-672-9-1432.
View | Files available | DOI
 
[271]
2016 | Conference Paper | IST-REx-ID: 480   OA
Chatterjee, Krishnendu, and Laurent Doyen. Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives. Vol. 05-08-July-2016, IEEE, 2016, pp. 247–56, doi:10.1145/2933575.2934513.
View | DOI | Download (ext.)
 
[270]
2016 | Journal Article | IST-REx-ID: 1477
Chatterjee, Krishnendu, et al. “What Is Decidable about Partially Observable Markov Decision Processes with ω-Regular Objectives.” Journal of Computer and System Sciences, vol. 82, no. 5, Elsevier, 2016, pp. 878–911, doi:10.1016/j.jcss.2016.02.009.
View | Files available | DOI | Download (ext.) | arXiv
 
[269]
2016 | Conference Paper | IST-REx-ID: 1182   OA
Chatterjee, Krishnendu, et al. Robust Draws in Balanced Knockout Tournaments. Vol. 2016–January, AAAI Press, 2016, pp. 172–79.
View | Files available | Download (ext.)
 
[268]
2016 | Conference Paper | IST-REx-ID: 1245
Pandey, Vineet, and Krishnendu Chatterjee. “Game-Theoretic Models Identify Useful Principles for Peer Collaboration in Online Learning Platforms.” Proceedings of the ACM Conference on Computer Supported Cooperative Work, vol. 26, no. Februar-2016, ACM, 2016, pp. 365–68, doi:10.1145/2818052.2869122.
View | DOI
 
[267]
2016 | Conference Paper | IST-REx-ID: 1327   OA
Brázdil, Tomáš, et al. “Stochastic Shortest Path with Energy Constraints in POMDPs.” Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems, ACM, 2016, pp. 1465–66.
View | Download (ext.)
 
[266]
2016 | Journal Article | IST-REx-ID: 1529
Chatterjee, Krishnendu, et al. “Optimal Cost Almost-Sure Reachability in POMDPs.” Artificial Intelligence, vol. 234, Elsevier, 2016, pp. 26–48, doi:10.1016/j.artint.2016.01.007.
View | Files available | DOI | Download (ext.) | arXiv
 
[265]
2016 | Technical Report | IST-REx-ID: 5449   OA
Pavlogiannis, Andreas, et al. Amplification on Undirected Population Structures: Comets Beat Stars. IST Austria, 2016, doi:10.15479/AT:IST-2016-648-v1-1.
View | Files available | DOI
 
[264]
2016 | Technical Report | IST-REx-ID: 5451   OA
Pavlogiannis, Andreas, et al. Strong Amplifiers of Natural Selection. IST Austria, 2016, doi:10.15479/AT:IST-2016-728-v1-1.
View | Files available | DOI
 
[263]
2016 | Conference Paper | IST-REx-ID: 1068   OA
Chatterjee, Krishnendu, et al. Conditionally Optimal Algorithms for Generalized Büchi Games. Vol. 58, 25, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, doi:10.4230/LIPIcs.MFCS.2016.25.
View | Files available | DOI
 
[262]
2016 | Conference Paper | IST-REx-ID: 1070   OA
Chatterjee, Krishnendu, and Laurent Doyen. Computation Tree Logic for Synchronization Properties. Vol. 55, 98, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016, doi:10.4230/LIPIcs.ICALP.2016.98.
View | Files available | DOI
 
[261]
2016 | Conference Paper | IST-REx-ID: 1138   OA
Chatterjee, Krishnendu, et al. “Quantitative Automata under Probabilistic Semantics.” Proceedings of the 31st Annual ACM/IEEE Symposium, IEEE, 2016, pp. 76–85, doi:10.1145/2933575.2933588.
View | DOI | Download (ext.)
 
[260]
2016 | Conference Paper | IST-REx-ID: 1140   OA
Chatterjee, Krishnendu, et al. “Model and Objective Separation with Conditional Lower Bounds Disjunction Is Harder than Conjunction.” Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2016, pp. 197–206, doi:10.1145/2933575.2935304.
View | DOI | Download (ext.)
 
[259]
2016 | Conference Paper | IST-REx-ID: 1335   OA
Chatterjee, Krishnendu, et al. Quantitative Monitor Automata. Vol. 9837, Springer, 2016, pp. 23–38, doi:10.1007/978-3-662-53413-7_2.
View | DOI | Download (ext.)
 
[258]
2016 | Technical Report | IST-REx-ID: 5445   OA
Chatterjee, Krishnendu, et al. Quantitative Interprocedural Analysis. IST Austria, 2016, doi:10.15479/AT:IST-2016-523-v1-1.
View | Files available | DOI
 
[257]
2016 | Technical Report | IST-REx-ID: 5452
Pavlogiannis, Andreas, et al. Arbitrarily Strong Amplifiers of Natural Selection. IST Austria, 2016, doi:10.15479/AT:IST-2017-728-v2-1.
View | Files available | DOI
 
[256]
2016 | Conference Paper | IST-REx-ID: 1090   OA
Chatterjee, Krishnendu, et al. Nested Weighted Limit-Average Automata of Bounded Width. Vol. 58, 24, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, doi:10.4230/LIPIcs.MFCS.2016.24.
View | Files available | DOI
 
[255]
2016 | Conference Paper | IST-REx-ID: 1324
Chatterjee, Krishnendu, and Martin Chmelik. “Indefinite-Horizon Reachability in Goal-DEC-POMDPs.” Proceedings of the Twenty-Sixth International Conference on International Conference on Automated Planning and Scheduling, vol. 2016–January, AAAI Press, 2016, pp. 88–96.
View | Download (ext.)
 
[254]
2016 | Conference Paper | IST-REx-ID: 1386   OA
Chatterjee, Krishnendu, et al. Termination Analysis of Probabilistic Programs through Positivstellensatz’s. Vol. 9779, Springer, 2016, pp. 3–22, doi:10.1007/978-3-319-41528-4_1.
View | DOI | Download (ext.)
 
[253]
2016 | Technical Report | IST-REx-ID: 5453   OA
Pavlogiannis, Andreas, et al. Arbitrarily Strong Amplifiers of Natural Selection. IST Austria, 2016, doi:10.15479/AT:IST-2017-749-v3-1.
View | Files available | DOI
 
[252]
2016 | Conference Paper | IST-REx-ID: 1071
Chatterjee, Krishnendu, et al. Optimal Reachability and a Space Time Tradeoff for Distance Queries in Constant Treewidth Graphs. Vol. 57, 28, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016, doi:10.4230/LIPIcs.ESA.2016.28.
View | Files available | DOI
 
[251]
2016 | Conference Paper | IST-REx-ID: 1437
Chatterjee, Krishnendu, et al. Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components. Vol. 20–22, ACM, 2016, pp. 733–47, doi:10.1145/2837614.2837624.
View | Files available | DOI | Download (ext.) | arXiv
 
[250]
2015 | Conference Paper | IST-REx-ID: 1609   OA
Chatterjee, Krishnendu, et al. The Complexity of Synthesis from Probabilistic Components. Vol. 9135, Springer, 2015, pp. 108–20, doi:10.1007/978-3-662-47666-6_9.
View | DOI | Download (ext.)
 
[249]
2015 | Journal Article | IST-REx-ID: 1673   OA
Adlam, Ben, et al. “Amplifiers of Selection.” Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol. 471, no. 2181, Royal Society of London, 2015, p. 20150114, doi:10.1098/rspa.2015.0114.
View | Files available | DOI
 
[248]
2015 | Conference Paper | IST-REx-ID: 1820   OA
Chatterjee, Krishnendu, et al. “Optimal Cost Almost-Sure Reachability in POMDPs.” Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence , vol. 5, AAAI Press, 2015, pp. 3496–502.
View | Files available | Download (ext.) | arXiv
 
[247]
2015 | Journal Article | IST-REx-ID: 1856
Chatterjee, Krishnendu, et al. “Measuring and Synthesizing Systems in Probabilistic Environments.” Journal of the ACM, vol. 62, no. 1, 9, ACM, 2015, doi:10.1145/2699430.
View | Files available | DOI | Download (ext.)
 
[246]
2015 | Journal Article | IST-REx-ID: 1731
Chatterjee, Krishnendu, et al. “Randomness for Free.” Information and Computation, vol. 245, no. 12, Elsevier, 2015, pp. 3–16, doi:10.1016/j.ic.2015.06.003.
View | Files available | DOI | Download (ext.)
 
[245]
2015 | Conference Paper | IST-REx-ID: 1661
Chatterjee, Krishnendu, et al. “Improved Algorithms for One-Pair and k-Pair Streett Objectives.” Proceedings - Symposium on Logic in Computer Science, vol. 2015–July, IEEE, 2015, p. 7174888, doi:10.1109/LICS.2015.34.
View | Files available | DOI | Download (ext.)
 
[244]
2015 | Journal Article | IST-REx-ID: 523   OA
Chatterjee, Krishnendu, et al. “Looking at Mean-Payoff and Total-Payoff through Windows.” Information and Computation, vol. 242, no. 6, Elsevier, 2015, pp. 25–52, doi:10.1016/j.ic.2015.03.010.
View | Files available | DOI | Download (ext.)
 
[243]
2015 | Technical Report | IST-REx-ID: 5430
Chatterjee, Krishnendu, et al. Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. IST Austria, 2015, doi:10.15479/AT:IST-2015-319-v1-1.
View | Files available | DOI
 
[242]
2015 | Technical Report | IST-REx-ID: 5435   OA
Chatterjee, Krishnendu, et al. Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. IST Austria, 2015, doi:10.15479/AT:IST-2015-318-v2-1.
View | Files available | DOI
 
[241]
2015 | Journal Article | IST-REx-ID: 1604
Chatterjee, Krishnendu, et al. “Quantitative Interprocedural Analysis.” Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT , vol. 50, no. 1, ACM, 2015, pp. 539–51, doi:10.1145/2676726.2676968.
View | Files available | DOI
 
[240]
2015 | Journal Article | IST-REx-ID: 1559   OA
Ibsen-Jensen, Rasmus, et al. “Computational Complexity of Ecological and Evolutionary Spatial Dynamics.” PNAS, vol. 112, no. 51, National Academy of Sciences, 2015, pp. 15636–41, doi:10.1073/pnas.1511366112.
View | DOI | Download (ext.) | PubMed | Europe PMC
 
[239]
2015 | Journal Article | IST-REx-ID: 1624   OA
Pavlogiannis, Andreas, et al. “Cellular Cooperation with Shift Updating and Repulsion.” Scientific Reports, vol. 5, 17147, Nature Publishing Group, 2015, doi:10.1038/srep17147.
View | Files available | DOI
 
[238]
2015 | Journal Article | IST-REx-ID: 1698   OA
Velner, Yaron, et al. “The Complexity of Multi-Mean-Payoff and Multi-Energy Games.” Information and Computation, vol. 241, no. 4, Elsevier, 2015, pp. 177–96, doi:10.1016/j.ic.2015.03.001.
View | DOI | Download (ext.)
 
[237]
2015 | Journal Article | IST-REx-ID: 1681   OA
Priklopil, Tadeas, and Krishnendu Chatterjee. “Evolution of Decisions in Population Games with Sequentially Searching Individuals.” Games, vol. 6, no. 4, Multidisciplinary Digital Publishing Institute, 2015, pp. 413–37, doi:10.3390/g6040413.
View | Files available | DOI
 
[236]
2015 | Conference Paper | IST-REx-ID: 1838   OA
Bloem, Roderick, et al. Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information. Vol. 9035, Springer, 2015, pp. 517–32, doi:10.1007/978-3-662-46681-0_50.
View | DOI | Download (ext.)
 
[235]
2015 | Journal Article | IST-REx-ID: 524
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. “Qualitative Analysis of Concurrent Mean Payoff Games.” Information and Computation, vol. 242, no. 6, Elsevier, 2015, pp. 2–24, doi:10.1016/j.ic.2015.03.009.
View | Files available | DOI | Download (ext.) | arXiv
 
[234]
2015 | Conference Paper | IST-REx-ID: 1732
Chatterjee, Krishnendu, et al. Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. IEEE, 2015, pp. 325–30, doi:10.1109/ICRA.2015.7139019.
View | Files available | DOI | Download (ext.) | arXiv
 
[233]
2015 | Technical Report | IST-REx-ID: 5429
Chatterjee, Krishnendu, et al. Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. IST Austria, 2015, doi:10.15479/AT:IST-2015-318-v1-1.
View | Files available | DOI
 
[232]
2015 | Technical Report | IST-REx-ID: 5443   OA
Chatterjee, Krishnendu, et al. A Symbolic SAT-Based Algorithm for Almost-Sure Reachability with Small Strategies in POMDPs. IST Austria, 2015, doi:10.15479/AT:IST-2015-325-v2-1.
View | Files available | DOI
 
[231]
2015 | Technical Report | IST-REx-ID: 5431   OA
Chatterjee, Krishnendu, et al. The Patience of Concurrent Stochastic Games with Safety and Reachability Objectives. IST Austria, 2015, doi:10.15479/AT:IST-2015-322-v1-1.
View | Files available | DOI
 
[230]
2015 | Technical Report | IST-REx-ID: 5436   OA
Chatterjee, Krishnendu, et al. Nested Weighted Automata. IST Austria, 2015, doi:10.15479/AT:IST-2015-170-v2-2.
View | Files available | DOI
 
[229]
2015 | Journal Article | IST-REx-ID: 1694
Chatterjee, Krishnendu, and Vinayak Prabhu. “Quantitative Temporal Simulation and Refinement Distances for Timed Systems.” IEEE Transactions on Automatic Control, vol. 60, no. 9, IEEE, 2015, pp. 2291–306, doi:10.1109/TAC.2015.2404612.
View | DOI
 
[228]
2015 | Conference Paper | IST-REx-ID: 1839   OA
Brázdil, Tomáš, et al. Multigain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives. Vol. 9035, Springer, 2015, pp. 181–87, doi:10.1007/978-3-662-46681-0_12.
View | DOI | Download (ext.)
 
[227]
2015 | Journal Article | IST-REx-ID: 2034   OA
Bérard, Béatrice, et al. “Probabilistic Opacity for Markov Decision Processes.” Information Processing Letters, vol. 115, no. 1, Elsevier, 2015, pp. 52–59, doi:10.1016/j.ipl.2014.09.001.
View | DOI | Download (ext.)
 
[226]
2015 | Journal Article | IST-REx-ID: 1598
Chatterjee, Krishnendu, et al. “Average Case Analysis of the Classical Algorithm for Markov Decision Processes with Büchi Objectives.” Theoretical Computer Science, vol. 573, no. 3, Elsevier, 2015, pp. 71–89, doi:10.1016/j.tcs.2015.01.050.
View | Files available | DOI | Download (ext.)
 
[225]
2015 | Conference Paper | IST-REx-ID: 1656
Chatterjee, Krishnendu, et al. “Nested Weighted Automata.” Proceedings - Symposium on Logic in Computer Science, vol. 2015–July, IEEE, 2015, p. 7174926, doi:10.1109/LICS.2015.72.
View | Files available | DOI | arXiv
 
[224]
2015 | Technical Report | IST-REx-ID: 5437   OA
Chatterjee, Krishnendu, et al. Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. IST Austria, 2015, doi:10.15479/AT:IST-2015-330-v2-1.
View | Files available | DOI
 
[223]
2015 | Technical Report | IST-REx-ID: 5444   OA
Reiter, Johannes, et al. Reconstructing Robust Phylogenies of Metastatic Cancers. IST Austria, 2015, doi:10.15479/AT:IST-2015-399-v1-1.
View | Files available | DOI
 
[222]
2015 | Technical Report | IST-REx-ID: 5432
Chatterjee, Krishnendu, et al. The Complexity of Evolutionary Games on Graphs. IST Austria, 2015, doi:10.15479/AT:IST-2015-323-v1-1.
View | Files available | DOI
 
[221]
2015 | Conference Paper | IST-REx-ID: 1714
Chatterjee, Krishnendu, et al. “A Framework for Automated Competitive Analysis of On-Line Scheduling of Firm-Deadline Tasks.” Real-Time Systems Symposium, vol. 2015, no. January, IEEE, 2015, pp. 118–27, doi:10.1109/RTSS.2014.9.
View | Files available | DOI
 
[220]
2015 | Journal Article | IST-REx-ID: 1873   OA
Chatterjee, Krishnendu, and Martin Chmelik. “POMDPs under Probabilistic Semantics.” Artificial Intelligence, vol. 221, Elsevier, 2015, pp. 46–72, doi:10.1016/j.artint.2014.12.009.
View | DOI | Download (ext.) | arXiv
 
[219]
2015 | Conference Paper | IST-REx-ID: 1481
Ahmed, Umair, et al. Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games. Vol. 2, AAAI Press, 2015, pp. 745–52.
View | Files available | Download (ext.)
 
[218]
2015 | Conference Paper | IST-REx-ID: 1657
Chatterjee, Krishnendu, et al. Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. IEEE, 2015, pp. 244–56, doi:10.1109/LICS.2015.32.
View | Files available | DOI
 
[217]
2015 | Technical Report | IST-REx-ID: 5438   OA
Chatterjee, Krishnendu, et al. Edit Distance for Pushdown Automata. IST Austria, 2015, doi:10.15479/AT:IST-2015-334-v1-1.
View | Files available | DOI
 
[216]
2015 | Journal Article | IST-REx-ID: 1501
Chatterjee, Krishnendu, et al. “CEGAR for Compositional Analysis of Qualitative Properties in Markov Decision Processes.” Formal Methods in System Design, vol. 47, no. 2, Springer, 2015, pp. 230–64, doi:10.1007/s10703-015-0235-2.
View | Files available | DOI | Download (ext.)
 
[215]
2015 | Technical Report | IST-REx-ID: 5440
Chatterjee, Krishnendu, et al. The Complexity of Evolutionary Games on Graphs. IST Austria, 2015, doi:10.15479/AT:IST-2015-323-v2-2.
View | Files available | DOI
 
[214]
2015 | Journal Article | IST-REx-ID: 1602
Chatterjee, Krishnendu, et al. “Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth.” ACM SIGPLAN Notices, vol. 50, no. 1, ACM, 2015, pp. 97–109, doi:10.1145/2676726.2676979.
View | Files available | DOI | Download (ext.) | arXiv
 
[213]
2015 | Conference Paper | IST-REx-ID: 1607
Chatterjee, Krishnendu, et al. Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. Vol. 9206, Springer, 2015, pp. 140–57, doi:10.1007/978-3-319-21690-4_9.
View | Files available | DOI | Download (ext.)
 
[212]
2015 | Conference Paper | IST-REx-ID: 1689   OA
Svoreňová, Mária, et al. “Temporal Logic Control for Stochastic Linear Systems Using Abstraction Refinement of Probabilistic Games.” Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, ACM, 2015, pp. 259–68, doi:10.1145/2728606.2728608.
View | Files available | DOI | Download (ext.)
 
[211]
2015 | Conference Paper | IST-REx-ID: 1691
Svoreňová, Mária, et al. “Temporal Logic Motion Planning Using POMDPs with Parity Objectives: Case Study Paper.” Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, ACM, 2015, pp. 233–38, doi:10.1145/2728606.2728617.
View | DOI
 
[210]
2015 | Journal Article | IST-REx-ID: 1709   OA
Reiter, Johannes, et al. “Biological Auctions with Multiple Rewards.” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 282, no. 1812, Royal Society, 2015, doi:10.1098/rspb.2015.1041.
View | Files available | DOI | Download (ext.) | PubMed | Europe PMC
 
[209]
2015 | Conference Paper | IST-REx-ID: 1610
Chatterjee, Krishnendu, et al. Edit Distance for Pushdown Automata. Vol. 9135, no. Part II, Springer, 2015, pp. 121–33, doi:10.1007/978-3-662-47666-6_10.
View | Files available | DOI
 
[208]
2015 | Conference Paper | IST-REx-ID: 1603
Brázdil, Tomáš, et al. Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. Vol. 9206, Springer, 2015, pp. 158–77, doi:10.1007/978-3-319-21690-4_10.
View | Files available | DOI | Download (ext.)
 
[207]
2015 | Technical Report | IST-REx-ID: 5441
Chatterjee, Krishnendu, et al. Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components. IST Austria, 2015, doi:10.15479/AT:IST-2015-340-v1-1.
View | Files available | DOI
 
[206]
2014 | Journal Article | IST-REx-ID: 1375   OA
Chatterjee, Krishnendu, et al. “Approximating the Minimum Cycle Mean.” Theoretical Computer Science, vol. 547, no. C, Elsevier, 2014, pp. 104–16, doi:10.1016/j.tcs.2014.06.031.
View | DOI | Download (ext.)
 
[205]
2014 | Journal Article | IST-REx-ID: 2234   OA
Brázdil, Tomáš, et al. “Markov Decision Processes with Multiple Long-Run Average Objectives.” Logical Methods in Computer Science, vol. 10, no. 1, International Federation of Computational Logic, 2014, doi:10.2168/LMCS-10(1:13)2014.
View | Files available | DOI | Download (ext.)
 
[204]
2014 | Journal Article | IST-REx-ID: 535   OA
Chatterjee, Krishnendu, et al. “Polynomial Time Algorithms for Energy Games with Special Weight Structures.” Algorithmica, vol. 70, no. 3, Springer, 2014, pp. 457–92, doi:10.1007/s00453-013-9843-7.
View | DOI | Download (ext.)
 
[203]
2014 | Technical Report | IST-REx-ID: 5423   OA
Chatterjee, Krishnendu, et al. A Framework for Automated Competitive Analysis of On-Line Scheduling of Firm-Deadline Tasks. IST Austria, 2014, doi:10.15479/AT:IST-2014-300-v1-1.
View | Files available | DOI
 
[202]
2014 | Technical Report | IST-REx-ID: 5428   OA
Chatterjee, Krishnendu, et al. Quantitative Fair Simulation Games. IST Austria, 2014, doi:10.15479/AT:IST-2014-315-v1-1.
View | Files available | DOI
 
[201]
2014 | Conference Paper | IST-REx-ID: 2063
Chatterjee, Krishnendu, et al. CEGAR for Qualitative Analysis of Probabilistic Systems. Vol. 8559, Springer, 2014, pp. 473–90, doi:10.1007/978-3-319-08867-9_31.
View | Files available | DOI
 
[200]
2014 | Journal Article | IST-REx-ID: 2716   OA
Chatterjee, Krishnendu, et al. “Strategy Synthesis for Multi-Dimensional Quantitative Objectives.” Acta Informatica, vol. 51, no. 3–4, Springer, 2014, pp. 129–63, doi:10.1007/s00236-013-0182-6.
View | DOI | Download (ext.)
 
[199]
2014 | Journal Article | IST-REx-ID: 2141
Chatterjee, Krishnendu, and Monika Henzinger. “Efficient and Dynamic Algorithms for Alternating Büchi Games and Maximal End-Component Decomposition.” Journal of the ACM, vol. 61, no. 3, a15, ACM, 2014, doi:10.1145/2597631.
View | Files available | DOI | Download (ext.)
 
[198]
2014 | Journal Article | IST-REx-ID: 2038
Boker, Udi, et al. “Temporal Specifications with Accumulative Values.” ACM Transactions on Computational Logic (TOCL), vol. 15, no. 4, ACM, 2014, p. 27, doi:10.1145/2629686.
View | Files available | DOI
 
[197]
2014 | Journal Article | IST-REx-ID: 2211
Chatterjee, Krishnendu, and Laurent Doyen. “Partial-Observation Stochastic Games: How to Win When Belief Fails.” ACM Transactions on Computational Logic (TOCL), vol. 15, no. 2, ACM, 2014, p. 16, doi:10.1145/2579821.
View | Files available | DOI | Download (ext.) | arXiv
 
[196]
2014 | Conference Paper | IST-REx-ID: 1903
Chatterjee, Krishnendu. Partial-Observation Stochastic Reachability and Parity Games. Vol. 8634, no. PART 1, Springer, 2014, pp. 1–4, doi:10.1007/978-3-662-44522-8_1.
View | Files available | DOI
 
[195]
2014 | Conference Paper | IST-REx-ID: 2216
Chatterjee, Krishnendu, et al. Edit Distance for Timed Automata. Springer, 2014, pp. 303–12, doi:10.1145/2562059.2562141.
View | Files available | DOI | Download (ext.)
 
[194]
2014 | Technical Report | IST-REx-ID: 5412
Chatterjee, Krishnendu, et al. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014, doi:10.15479/AT:IST-2014-153-v1-1.
View | Files available | DOI
 
[193]
2014 | Technical Report | IST-REx-ID: 5424
Chatterjee, Krishnendu, et al. Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. IST Austria, 2014, doi:10.15479/AT:IST-2014-305-v1-1.
View | Files available | DOI
 
[192]
2014 | Conference Paper | IST-REx-ID: 1853
Jha, Susmit, et al. Game Theoretic Secure Localization in Wireless Sensor Networks. IEEE, 2014, pp. 85–90, doi:10.1109/IOT.2014.7030120.
View | DOI
 
[191]
2014 | Conference Paper | IST-REx-ID: 2027   OA
Brázdil, Tomáš, et al. “Verification of Markov Decision Processes Using Learning Algorithms.” Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), edited by Franck Cassez and Jean-François Raskin, vol. 8837, Society of Industrial and Applied Mathematics, 2014, pp. 98–114, doi:10.1007/978-3-319-11936-6_8.
View | DOI | Download (ext.)
 
[190]
2014 | Conference Paper | IST-REx-ID: 2212
Chatterjee, Krishnendu, et al. Perfect-Information Stochastic Mean-Payoff Parity Games. Vol. 8412, Springer, 2014, pp. 210–25, doi:10.1007/978-3-642-54830-7_14.
View | Files available | DOI
 
[189]
2014 | Technical Report | IST-REx-ID: 5413
Chatterjee, Krishnendu, et al. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014, doi:10.15479/AT:IST-2014-153-v2-2.
View | Files available | DOI
 
[188]
2014 | Technical Report | IST-REx-ID: 5418   OA
Chatterjee, Krishnendu, and Laurent Doyen. Games with a Weak Adversary. IST Austria, 2014, doi:10.15479/AT:IST-2014-176-v1-1.
View | Files available | DOI
 
[187]
2014 | Technical Report | IST-REx-ID: 5420   OA
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. The Value 1 Problem for Concurrent Mean-Payoff Games. IST Austria, 2014, doi:10.15479/AT:IST-2014-191-v1-1.
View | Files available | DOI
 
[186]
2014 | Journal Article | IST-REx-ID: 2039   OA
Chatterjee, Krishnendu, et al. “The Time Scale of Evolutionary Innovation.” PLoS Computational Biology, vol. 10, no. 9, 7p, Public Library of Science, 2014, doi:10.1371/journal.pcbi.1003818.
View | Files available | DOI
 
[185]
2014 | Conference Paper | IST-REx-ID: 2054
Chatterjee, Krishnendu. “Qualitative Concurrent Parity Games: Bounded Rationality.” Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), edited by Paolo Baldan and Daniele Gorla, vol. 8704, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, pp. 544–59, doi:10.1007/978-3-662-44584-6_37.
View | Files available | DOI
 
[184]
2014 | Conference Paper | IST-REx-ID: 2213
Chatterjee, Krishnendu, et al. The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies. Vol. 8412, Springer, 2014, pp. 242–57, doi:10.1007/978-3-642-54830-7_16.
View | Files available | DOI | Download (ext.) | arXiv
 
[183]
2014 | Conference Paper | IST-REx-ID: 2162
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. The Complexity of Ergodic Mean Payoff Games. Vol. 8573, no. Part 2, Springer, 2014, pp. 122–33, doi:10.1007/978-3-662-43951-7_11.
View | Files available | DOI | Download (ext.) | arXiv
 
[182]
2014 | Technical Report | IST-REx-ID: 5426   OA
Chatterjee, Krishnendu, et al. Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. IST Austria, 2014, doi:10.15479/AT:IST-2014-305-v2-1.
View | Files available | DOI
 
[181]
2014 | Technical Report | IST-REx-ID: 5419   OA
Chatterjee, Krishnendu, et al. Improved Algorithms for Reachability and Shortest Path on Low Tree-Width Graphs. IST Austria, 2014, doi:10.15479/AT:IST-2014-187-v1-1.
View | Files available | DOI
 
[180]
2014 | Technical Report | IST-REx-ID: 5414   OA
Chatterjee, Krishnendu, et al. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014, doi:10.15479/AT:IST-2014-153-v3-1.
View | Files available | DOI
 
[179]
2014 | Technical Report | IST-REx-ID: 5421   OA
Chatterjee, Krishnendu, et al. The Complexity of Evolution on Graphs. IST Austria, 2014, doi:10.15479/AT:IST-2014-190-v2-2.
View | Files available | DOI
 
[178]
2014 | Journal Article | IST-REx-ID: 2187   OA
Bloem, Roderick, et al. “Synthesizing Robust Systems.” Acta Informatica, vol. 51, no. 3–4, Springer, 2014, pp. 193–220, doi:10.1007/s00236-013-0191-5.
View | Files available | DOI
 
[177]
2014 | Conference Paper | IST-REx-ID: 2163
Chatterjee, Krishnendu, and Laurent Doyen. “Games with a Weak Adversary.” Lecture Notes in Computer Science, vol. 8573, no. Part 2, Springer, 2014, pp. 110–21, doi:10.1007/978-3-662-43951-7_10.
View | Files available | DOI | Download (ext.) | arXiv
 
[176]
2014 | Technical Report | IST-REx-ID: 5427   OA
Chatterjee, Krishnendu, et al. Optimal Tree-Decomposition Balancing and Reachability on Low Treewidth Graphs. IST Austria, 2014, doi:10.15479/AT:IST-2014-314-v1-1.
View | Files available | DOI
 
[175]
2014 | Technical Report | IST-REx-ID: 5415
Chatterjee, Krishnendu, et al. Nested Weighted Automata. IST Austria, 2014, doi:10.15479/AT:IST-2014-170-v1-1.
View | Files available | DOI
 
[174]
2013 | Journal Article | IST-REx-ID: 2816   OA
Božić, Ivana, et al. “Evolutionary Dynamics of Cancer in Response to Targeted Combination Therapy.” ELife, vol. 2, e00747, eLife Sciences Publications, 2013, doi:10.7554/eLife.00747.
View | Files available | DOI
 
[173]
2013 | Journal Article | IST-REx-ID: 2854   OA
Chatterjee, Krishnendu, et al. “Strategy Improvement for Concurrent Reachability and Turn Based Stochastic Safety Games.” Journal of Computer and System Sciences, vol. 79, no. 5, Elsevier, 2013, pp. 640–57, doi:10.1016/j.jcss.2012.12.001.
View | Files available | DOI
 
[172]
2013 | Technical Report | IST-REx-ID: 5404   OA
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. The Complexity of Ergodic Games. IST Austria, 2013, doi:10.15479/AT:IST-2013-127-v1-1.
View | Files available | DOI
 
[171]
2013 | Technical Report | IST-REx-ID: 5409   OA
Chatterjee, Krishnendu, et al. Edit Distance for Timed Automata. IST Austria, 2013, doi:10.15479/AT:IST-2013-144-v1-1.
View | Files available | DOI
 
[170]
2013 | Journal Article | IST-REx-ID: 2247   OA
Zagorsky, Benjamin, et al. “Forgiver Triumphs in Alternating Prisoner’s Dilemma .” PLoS One, vol. 8, no. 12, e80814, Public Library of Science, 2013, doi:10.1371/journal.pone.0080814.
View | Files available | DOI
 
[169]
2013 | Conference (Editor) | IST-REx-ID: 2292
Chatterjee, Krishnendu, and Jiri Sgall, editors. Mathematical Foundations of Computer Science 2013. Vol. 8087, Springer, 2013, p. VI-854, doi:10.1007/978-3-642-40313-2.
View | DOI
 
[168]
2013 | Conference Paper | IST-REx-ID: 2444   OA
Chatterjee, Krishnendu, and Jakub Ła̧Cki. Faster Algorithms for Markov Decision Processes with Low Treewidth. Vol. 8044, Springer, 2013, pp. 543–58, doi:10.1007/978-3-642-39799-8_36.
View | DOI | Download (ext.) | arXiv
 
[167]
2013 | Conference Paper | IST-REx-ID: 2305   OA
Brázdil, Tomáš, et al. “Trading Performance for Stability in Markov Decision Processes.” 28th Annual ACM/IEEE Symposium, IEEE, 2013, pp. 331–40, doi:10.1109/LICS.2013.39.
View | Files available | DOI | Download (ext.) | arXiv
 
[166]
2013 | Journal Article | IST-REx-ID: 2824
Chatterjee, Krishnendu, and Vinayak Prabhu. “Synthesis of Memory-Efficient, Clock-Memory Free, and Non-Zeno Safety Controllers for Timed Systems.” Information and Computation, vol. 228–229, Elsevier, 2013, pp. 83–119, doi:10.1016/j.ic.2013.04.003.
View | DOI
 
[165]
2013 | Journal Article | IST-REx-ID: 2831   OA
Chatterjee, Krishnendu, et al. “Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives.” Formal Methods in System Design, vol. 42, no. 3, Springer, 2013, pp. 301–27, doi:10.1007/s10703-012-0180-2.
View | DOI | Download (ext.) | arXiv
 
[164]
2013 | Journal Article | IST-REx-ID: 2836   OA
Chatterjee, Krishnendu, and Vishwanath Raman. “Assume-Guarantee Synthesis for Digital Contract Signing.” Formal Aspects of Computing, vol. 26, no. 4, Springer, 2013, pp. 825–59, doi:10.1007/s00165-013-0283-6.
View | DOI | Download (ext.) | arXiv
 
[163]
2013 | Journal Article | IST-REx-ID: 2817   OA
Novak, Sebastian, et al. “Density Games.” Journal of Theoretical Biology, vol. 334, Elsevier, 2013, pp. 26–34, doi:10.1016/j.jtbi.2013.05.029.
View | Files available | DOI
 
[162]
2013 | Technical Report | IST-REx-ID: 5400   OA
Chatterjee, Krishnendu, et al. What Is Decidable about Partially Observable Markov Decision Processes with ω-Regular Objectives. IST Austria, 2013, doi:10.15479/AT:IST-2013-109-v1-1.
View | Files available | DOI
 
[161]
2013 | Conference Paper | IST-REx-ID: 1376
Chatterjee, Krishnendu, et al. “Distributed Synthesis for LTL Fragments.” 13th International Conference on Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 18–25, doi:10.1109/FMCAD.2013.6679386.
View | Files available | DOI
 
[160]
2013 | Technical Report | IST-REx-ID: 5405   OA
Chatterjee, Krishnendu, et al. Perfect-Information Stochastic Mean-Payoff Parity Games. IST Austria, 2013, doi:10.15479/AT:IST-2013-128-v1-1.
View | Files available | DOI
 
[159]
2013 | Conference Paper | IST-REx-ID: 2329
Chatterjee, Krishnendu, and Yaron Velner. Hyperplane Separation Technique for Multidimensional Mean-Payoff Games. Vol. 8052, Springer, 2013, pp. 500–15, doi:10.1007/978-3-642-40184-8_35.
View | Files available | DOI | Download (ext.) | arXiv
 
[158]
2013 | Conference Paper | IST-REx-ID: 2279
Chatterjee, Krishnendu, et al. Looking at Mean-Payoff and Total-Payoff through Windows. Vol. 8172, Springer, 2013, pp. 118–32, doi:10.1007/978-3-319-02444-8_10.
View | Files available | DOI | Download (ext.)
 
[157]
2013 | Technical Report | IST-REx-ID: 5406   OA
Chatterjee, Krishnendu, et al. Distributed Synthesis for LTL Fragments. IST Austria, 2013, doi:10.15479/AT:IST-2013-130-v1-1.
View | Files available | DOI
 
[156]
2013 | Conference Paper | IST-REx-ID: 2820
Chatterjee, Krishnendu, et al. “Automated Analysis of Real-Time Scheduling Using Graph Games.” Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, ACM, 2013, pp. 163–72, doi:10.1145/2461328.2461356.
View | Files available | DOI
 
[155]
2013 | Conference Paper | IST-REx-ID: 2446   OA
Chatterjee, Krishnendu, et al. Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis. Vol. 8044, Springer, 2013, pp. 559–75, doi:10.1007/978-3-642-39799-8_37.
View | DOI | Download (ext.) | arXiv
 
[154]
2013 | Journal Article | IST-REx-ID: 2299   OA
Godhal, Yashdeep, et al. “Synthesis of AMBA AHB from Formal Specification: A Case Study.” International Journal on Software Tools for Technology Transfer, vol. 15, no. 5–6, Springer, 2013, pp. 585–601, doi:10.1007/s10009-011-0207-9.
View | Files available | DOI
 
[153]
2013 | Journal Article | IST-REx-ID: 2814   OA
Chatterjee, Krishnendu, et al. “The Complexity of Coverage.” International Journal of Foundations of Computer Science, vol. 24, no. 2, World Scientific Publishing, 2013, pp. 165–85, doi:10.1142/S0129054113400066.
View | DOI | Download (ext.) | arXiv
 
[152]
2013 | Conference Paper | IST-REx-ID: 2819   OA
Chatterjee, Krishnendu, and Vinayak Prabhu. “Quantitative Timed Simulation Functions and Refinement Metrics for Real-Time Systems.” Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, vol. 1, Springer, 2013, pp. 273–82, doi:10.1145/2461328.2461370.
View | DOI | Download (ext.)
 
[151]
2013 | Technical Report | IST-REx-ID: 5399   OA
Reiter, Johannes, et al. TTP: Tool for Tumor Progression. IST Austria, 2013, doi:10.15479/AT:IST-2013-104-v1-1.
View | Files available | DOI
 
[150]
2013 | Conference Paper | IST-REx-ID: 1374   OA
Chatterjee, Krishnendu, and Nathanaël Fijalkow. “Infinite-State Games with Finitary Conditions.” 22nd EACSL Annual Conference on Computer Science Logic, vol. 23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 181–96, doi:10.4230/LIPIcs.CSL.2013.181.
View | Files available | DOI
 
[149]
2013 | Conference Paper | IST-REx-ID: 2238
Chatterjee, Krishnendu, et al. Multi-Objective Discounted Reward Verification in Graphs and MDPs. Vol. 8312, Springer, 2013, pp. 228–42, doi:10.1007/978-3-642-45221-5_17.
View | DOI
 
[148]
2013 | Journal Article | IST-REx-ID: 2858   OA
Reiter, Johannes, et al. “The Effect of One Additional Driver Mutation on Tumor Progression.” Evolutionary Applications, vol. 6, no. 1, Wiley-Blackwell, 2013, pp. 34–45, doi:10.1111/eva.12020.
View | Files available | DOI
 
[147]
2013 | Journal Article | IST-REx-ID: 3116
Chatterjee, Krishnendu, et al. “Code Aware Resource Management.” Formal Methods in System Design, vol. 42, no. 2, Springer, 2013, pp. 142–74, doi:10.1007/s10703-012-0170-4.
View | DOI
 
[146]
2013 | Conference Paper | IST-REx-ID: 2295
Chatterjee, Krishnendu, et al. What Is Decidable about Partially Observable Markov Decision Processes with Omega-Regular Objectives. Vol. 23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 165–80, doi:10.4230/LIPIcs.CSL.2013.165.
View | Files available | DOI
 
[145]
2013 | Technical Report | IST-REx-ID: 5403   OA
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. Qualitative Analysis of Concurrent Mean-Payoff Games. IST Austria, 2013, doi:10.15479/AT:IST-2013-126-v1-1.
View | Files available | DOI
 
[144]
2013 | Conference Paper | IST-REx-ID: 2000
Reiter, Johannes, et al. “TTP: Tool for Tumor Progression.” Proceedings of 25th Int. Conf. on Computer Aided Verification, vol. 8044, Springer, 2013, pp. 101–06, doi:10.1007/978-3-642-39799-8_6.
View | Files available | DOI | Download (ext.) | arXiv
 
[143]
2013 | Technical Report | IST-REx-ID: 5410   OA
Ahmed, Umair, et al. Automatic Generation of Alternative Starting Positions for Traditional Board Games. IST Austria, 2013, doi:10.15479/AT:IST-2013-146-v1-1.
View | Files available | DOI
 
[142]
2013 | Technical Report | IST-REx-ID: 5408   OA
Chatterjee, Krishnendu, et al. The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies. IST Austria, 2013, doi:10.15479/AT:IST-2013-141-v1-1.
View | Files available | DOI
 
[141]
2012 | Conference Paper | IST-REx-ID: 2715   OA
Chatterjee, Krishnendu, et al. Average Case Analysis of the Classical Algorithm for Markov Decision Processes with Büchi Objectives. Vol. 18, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 461–73, doi:10.4230/LIPIcs.FSTTCS.2012.461.
View | Files available | DOI
 
[140]
2012 | Conference Paper | IST-REx-ID: 2936   OA
Chatterjee, Krishnendu, et al. “Finite Automata with Time Delay Blocks.” Roceedings of the Tenth ACM International Conference on Embedded Software, ACM, 2012, pp. 43–52, doi:10.1145/2380356.2380370.
View | DOI | Download (ext.)
 
[139]
2012 | Journal Article | IST-REx-ID: 3314
Chatterjee, Krishnendu, and Ritankar Majumdar. “Discounting and Averaging in Games across Time Scales.” International Journal of Foundations of Computer Science, vol. 23, no. 3, World Scientific Publishing, 2012, pp. 609–25, doi:10.1142/S0129054112400308.
View | DOI
 
[138]
2012 | Conference Paper | IST-REx-ID: 2955
Chatterjee, Krishnendu, and Laurent Doyen. “Partial-Observation Stochastic Games: How to Win When Belief Fails.” Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2012, p. 6280436, doi:10.1109/LICS.2012.28.
View | Files available | DOI | Download (ext.) | arXiv
 
[137]
2012 | Technical Report | IST-REx-ID: 5377   OA
Chatterjee, Krishnendu, and Yaron Velner. Mean-Payoff Pushdown Games. IST Austria, 2012, doi:10.15479/AT:IST-2012-0002.
View | Files available | DOI
 
[136]
2012 | Journal Article | IST-REx-ID: 2848   OA
Chatterjee, Krishnendu, et al. “Evolutionary Game Dynamics in Populations with Different Learners.” Journal of Theoretical Biology, vol. 301, Elsevier, 2012, pp. 161–73, doi:10.1016/j.jtbi.2012.02.021.
View | DOI | Download (ext.) | PubMed | Europe PMC
 
[135]
2012 | Conference Paper | IST-REx-ID: 3252   OA
Chatterjee, Krishnendu, and Vishwanath Raman. Synthesizing Protocols for Digital Contract Signing. Vol. 7148, Springer, 2012, pp. 152–68, doi:10.1007/978-3-642-27940-9_11.
View | DOI | Download (ext.)
 
[134]
2012 | Journal Article | IST-REx-ID: 3846   OA
Chatterjee, Krishnendu, and Thomas A. Henzinger. “A Survey of Stochastic ω Regular Games.” Journal of Computer and System Sciences, vol. 78, no. 2, Elsevier, 2012, pp. 394–413, doi:10.1016/j.jcss.2011.05.002.
View | Files available | DOI
 
[133]
2012 | Conference Paper | IST-REx-ID: 497
Chatterjee, Krishnendu, et al. Faster Algorithms for Alternating Refinement Relations. Vol. 16, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 167–82, doi:10.4230/LIPIcs.CSL.2012.167.
View | Files available | DOI
 
[132]
2012 | Conference Paper | IST-REx-ID: 2956
Chatterjee, Krishnendu, and Yaron Velner. “Mean Payoff Pushdown Games.” Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, 6280438, IEEE, 2012, doi:10.1109/LICS.2012.30.
View | Files available | DOI
 
[131]
2012 | Technical Report | IST-REx-ID: 5378   OA
Chatterjee, Krishnendu, et al. Faster Algorithms for Alternating Refinement Relations. IST Austria, 2012, doi:10.15479/AT:IST-2012-0001.
View | Files available | DOI
 
[130]
2012 | Conference Paper | IST-REx-ID: 3341
Chatterjee, Krishnendu. Robustness of Structurally Equivalent Concurrent Parity Games. Vol. 7213, Springer, 2012, pp. 270–85, doi:10.1007/978-3-642-28729-9_18.
View | Files available | DOI | Download (ext.) | arXiv
 
[129]
2012 | Journal Article | IST-REx-ID: 3260   OA
Chatterjee, Krishnendu, et al. “Evolutionary Dynamics of Biological Auctions.” Theoretical Population Biology, vol. 81, no. 1, Academic Press, 2012, pp. 69–80, doi:10.1016/j.tpb.2011.11.003.
View | Files available | DOI | Download (ext.) | PubMed | Europe PMC
 
[128]
2012 | Conference Paper | IST-REx-ID: 2957
Chatterjee, Krishnendu, and Mathieu Tracol. “Decidable Problems for Probabilistic Automata on Infinite Words.” Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2012, p. 6280437, doi:10.1109/LICS.2012.29.
View | Files available | DOI | Download (ext.) | arXiv
 
[127]
2012 | Journal Article | IST-REx-ID: 2972   OA
Chatterjee, Krishnendu, and Laurent Doyen. “Energy Parity Games.” Theoretical Computer Science, vol. 458, Elsevier, 2012, pp. 49–60, doi:10.1016/j.tcs.2012.07.038.
View | Files available | DOI
 
[126]
2012 | Journal Article | IST-REx-ID: 3254
Chatterjee, Krishnendu. “The Complexity of Stochastic Müller Games.” Information and Computation, vol. 211, Elsevier, 2012, pp. 29–48, doi:10.1016/j.ic.2011.11.004.
View | DOI | Download (ext.)
 
[125]
2012 | Conference Paper | IST-REx-ID: 3165
Chatterjee, Krishnendu, and Monika Henzinger. “An O(N2) Time Algorithm for Alternating Büchi Games.” Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2012, pp. 1386–99, doi:10.1137/1.9781611973099.109.
View | Files available | DOI
 
[124]
2012 | Conference Paper | IST-REx-ID: 2947   OA
Chatterjee, Krishnendu, et al. Equivalence of Games with Probabilistic Uncertainty and Partial Observation Games. Vol. 7561, Springer, 2012, pp. 385–99, doi:10.1007/978-3-642-33386-6_30.
View | DOI | Download (ext.)
 
[123]
2012 | Conference Paper | IST-REx-ID: 3135   OA
Brázdil, Brázdil, et al. Efficient Controller Synthesis for Consumption Games with Multiple Resource Types. Vol. 7358, Springer, 2012, pp. 23–38, doi:10.1007/978-3-642-31424-7_8.
View | DOI | Download (ext.)
 
[122]
2012 | Journal Article | IST-REx-ID: 3128   OA
Chatterjee, Krishnendu, et al. “A Survey of Partial-Observation Stochastic Parity Games.” Formal Methods in System Design, vol. 43, no. 2, Springer, 2012, pp. 268–84, doi:10.1007/s10703-012-0164-2.
View | Files available | DOI
 
[121]
2012 | Conference Paper | IST-REx-ID: 3255
Chatterjee, Krishnendu, and Laurent Doyen. Games and Markov Decision Processes with Mean Payoff Parity and Energy Parity Objectives. Vol. 7119, Springer, 2012, pp. 37–46, doi:10.1007/978-3-642-25929-6_3.
View | DOI
 
[120]
2011 | Conference Paper | IST-REx-ID: 3357
Chatterjee, Krishnendu, et al. The Complexity of Request-Response Games. Edited by Adrian-Horia Dediu et al., vol. 6638, Springer, 2011, pp. 227–37, doi:10.1007/978-3-642-21254-3_17.
View | DOI
 
[119]
2011 | Conference Paper | IST-REx-ID: 3345
Chatterjee, Krishnendu, and Laurent Doyen. Energy and Mean-Payoff Parity Markov Decision Processes. Vol. 6907, Springer, 2011, pp. 206–18, doi:10.1007/978-3-642-22993-0_21.
View | Files available | DOI | Download (ext.) | arXiv
 
[118]
2011 | Technical Report | IST-REx-ID: 5384   OA
Chatterjee, Krishnendu, and Mathieu Tracol. Decidable Problems for Probabilistic Automata on Infinite Words. IST Austria, 2011, doi:10.15479/AT:IST-2011-0004.
View | Files available | DOI
 
[117]
2011 | Journal Article | IST-REx-ID: 3338
Chatterjee, Krishnendu. “Bounded Rationality in Concurrent Parity Games.” CoRR: Computing Research Repository, ArXiv, 2011, pp. 1–51.
View | Files available | Download (ext.) | arXiv
 
[116]
2011 | Conference Paper | IST-REx-ID: 3346   OA
Brázdil, Tomáš, et al. Two Views on Multiple Mean Payoff Objectives in Markov Decision Processes. 5970225, IEEE, 2011, doi:10.1109/LICS.2011.10.
View | DOI | Download (ext.)
 
[115]
2011 | Journal Article | IST-REx-ID: 3339   OA
Chatterjee, Krishnendu, et al. “Magnifying Lens Abstraction for Stochastic Games with Discounted and Long-Run Average Objectives.” CoRR: Computing Research Repository, ArXiv, 2011.
View | Download (ext.) | arXiv
 
[114]
2011 | Conference Paper | IST-REx-ID: 3365   OA
Chatterjee, Krishnendu, et al. QUASY: Quantitative Synthesis Tool. Vol. 6605, Springer, 2011, pp. 267–71, doi:10.1007/978-3-642-19835-9_24.
View | Files available | DOI
 
[113]
2011 | Journal Article | IST-REx-ID: 3315
Chatterjee, Krishnendu, et al. “Timed Parity Games: Complexity and Robustness.” Logical Methods in Computer Science, vol. 7, no. 4, International Federation of Computational Logic, 2011, doi:10.2168/LMCS-7(4:8)2011.
View | Files available | DOI
 
[112]
2011 | Technical Report | IST-REx-ID: 5380   OA
Chatterjee, Krishnendu. Bounded Rationality in Concurrent Parity Games. IST Austria, 2011, doi:10.15479/AT:IST-2011-0008.
View | Files available | DOI
 
[111]
2011 | Technical Report | IST-REx-ID: 5385   OA
Boker, Udi, et al. Temporal Specifications with Accumulative Values. IST Austria, 2011, doi:10.15479/AT:IST-2011-0003.
View | Files available | DOI
 
[110]
2011 | Conference Paper | IST-REx-ID: 3347   OA
Chatterjee, Krishnendu, and Nathanaël Fijalkow. Finitary Languages. Edited by Adrian-Horia Dediu et al., vol. 6638, Springer, 2011, pp. 216–26, doi:10.1007/978-3-642-21254-3_16.
View | DOI | Download (ext.)
 
[109]
2011 | Conference Paper | IST-REx-ID: 3342   OA
Chatterjee, Krishnendu, et al. Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives. Edited by Ganesh Gopalakrishnan and Shaz Qadeer, vol. 6806, Springer, 2011, pp. 260–76, doi:10.1007/978-3-642-22110-1_21.
View | DOI | Download (ext.) | arXiv
 
[108]
2011 | Journal Article | IST-REx-ID: 3354
Chatterjee, Krishnendu, et al. “Qualitative Concurrent Parity Games.” ACM Transactions on Computational Logic (TOCL), vol. 12, no. 4, 28, ACM, 2011, doi:10.1145/1970398.1970404.
View | Files available | DOI
 
[107]
2011 | Conference Paper | IST-REx-ID: 3316
Bloem, Roderick, et al. Specification-Centered Robustness. IEEE, 2011, pp. 176–85, doi:10.1109/SIES.2011.5953660.
View | DOI
 
[106]
2011 | Conference Paper | IST-REx-ID: 3361   OA
Cerny, Pavol, et al. The Complexity of Quantitative Information Flow Problems. IEEE, 2011, pp. 205–17, doi:10.1109/CSF.2011.21.
View | Files available | DOI
 
[105]
2011 | Technical Report | IST-REx-ID: 5381   OA
Chatterjee, Krishnendu, and Laurent Doyen. Partial-Observation Stochastic Games: How to Win When Belief Fails. IST Austria, 2011, doi:10.15479/AT:IST-2011-0007.
View | Files available | DOI
 
[104]
2011 | Technical Report | IST-REx-ID: 5379   OA
Chatterjee, Krishnendu, and Monika Henzinger. An O(N2) Time Algorithm for Alternating Büchi Games. IST Austria, 2011, doi:10.15479/AT:IST-2011-0009.
View | Files available | DOI
 
[103]
2011 | Conference Paper | IST-REx-ID: 3366
Cerny, Pavol, et al. Quantitative Synthesis for Concurrent Programs. Edited by Ganesh Gopalakrishnan and Shaz Qadeer, vol. 6806, Springer, 2011, pp. 243–59, doi:10.1007/978-3-642-22110-1_20 .
View | Files available | DOI
 
[102]
2011 | Conference Paper | IST-REx-ID: 3348   OA
Chatterjee, Krishnendu, and Vinayak Prabhu. Synthesis of Memory Efficient Real Time Controllers for Safety Objectives. Springer, 2011, pp. 221–30, doi:10.1145/1967701.1967734.
View | DOI | Download (ext.)
 
[101]
2011 | Conference Paper | IST-REx-ID: 3350
Chatterjee, Krishnendu, and Ritankar Majumdar. Minimum Attention Controller Synthesis for Omega Regular Objectives. Edited by Uli Fahrenberg and Stavros Tripakis, vol. 6919, Springer, 2011, pp. 145–59, doi:10.1007/978-3-642-24310-3_11.
View | DOI
 
[100]
2011 | Conference Paper | IST-REx-ID: 3343   OA
Chatterjee, Krishnendu, and Monika Henzinger. Faster and Dynamic Algorithms for Maximal End Component Decomposition and Related Graph Problems in Probabilistic Verification. SIAM, 2011, pp. 1318–36, doi:10.1137/1.9781611973082.101.
View | DOI | Download (ext.)
 
[99]
2011 | Technical Report | IST-REx-ID: 5382   OA
Chatterjee, Krishnendu. Robustness of Structurally Equivalent Concurrent Parity Games. IST Austria, 2011, doi:10.15479/AT:IST-2011-0006.
View | Files available | DOI
 
[98]
2011 | Technical Report | IST-REx-ID: 5387   OA
Chatterjee, Krishnendu, and Laurent Doyen. Energy and Mean-Payoff Parity Markov Decision Processes. IST Austria, 2011, doi:10.15479/AT:IST-2011-0001.
View | Files available | DOI
 
[97]
2011 | Preprint | IST-REx-ID: 3363   OA
Chatterjee, Krishnendu, et al. The Decidability Frontier for Probabilistic Automata on Infinite Words. ArXiv.
View | Download (ext.) | arXiv
 
[96]
2011 | Conference Paper | IST-REx-ID: 3349   OA
Chatterjee, Krishnendu, and Nathanaël Fijalkow. A Reduction from Parity Games to Simple Stochastic Games. Vol. 54, EPTCS, 2011, pp. 74–86, doi:10.4204/EPTCS.54.6.
View | DOI | Download (ext.)
 
[95]
2011 | Conference Paper | IST-REx-ID: 3351   OA
Chatterjee, Krishnendu, et al. On Memoryless Quantitative Objectives. Edited by Olaf Owe et al., vol. 6914, Springer, 2011, pp. 148–59, doi:10.1007/978-3-642-22953-4_13.
View | DOI | Download (ext.)
 
[94]
2011 | Conference Paper | IST-REx-ID: 3344
Chatterjee, Krishnendu. Graph Games with Reachability Objectives. Edited by Giorgo Delzanno and Igor Potapov, vol. 6945, Springer, 2011, pp. 1–1, doi:10.1007/978-3-642-24288-5_1.
View | DOI
 
[93]
2011 | Conference Paper | IST-REx-ID: 3356
Boker, Udi, et al. Temporal Specifications with Accumulative Values. 5970226, IEEE, 2011, doi:10.1109/LICS.2011.33.
View | Files available | DOI
 
[92]
2010 | Conference Paper | IST-REx-ID: 3852   OA
Chatterjee, Krishnendu, and Ritankar Majumdar. Discounting in Games across Time Scales. Vol. 25, EPTCS, 2010, pp. 22–29, doi:10.4204/EPTCS.25.6.
View | Files available | DOI | Download (ext.) | arXiv
 
[91]
2010 | Conference Paper | IST-REx-ID: 3864   OA
Chatterjee, Krishnendu, et al. Measuring and Synthesizing Systems in Probabilistic Environments. Vol. 6174, Springer, 2010, pp. 380–95, doi:10.1007/978-3-642-14295-6_34.
View | Files available | DOI | Download (ext.)
 
[90]
2010 | Conference Paper | IST-REx-ID: 3857
Chatterjee, Krishnendu, and Thomas A. Henzinger. Probabilistic Automata on Infinite Words: Decidability and Undecidability Results. Vol. 6252, Springer, 2010, pp. 1–16, doi:10.1007/978-3-642-15643-4_1.
View | Files available | DOI
 
[89]
2010 | Conference Paper | IST-REx-ID: 3853   OA
Chatterjee, Krishnendu, et al. Mean-Payoff Automaton Expressions. Vol. 6269, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 269–83, doi:10.1007/978-3-642-15375-4_19.
View | Files available | DOI
 
[88]
2010 | Conference Paper | IST-REx-ID: 3858
Chatterjee, Krishnendu, and Laurent Doyen. The Complexity of Partial-Observation Parity Games. Edited by Christian Fermüller and Andrei Voronkov, vol. 6397, Springer, 2010, pp. 1–14, doi:10.1007/978-3-642-16242-8_1.
View | DOI
 
[87]
2010 | Conference Paper | IST-REx-ID: 3865
Chatterjee, Krishnendu, et al. Analyzing the Impact of Change in Multi-Threaded Programs. Edited by David Rosenblum and Gabriele Taenzer, vol. 6013, Springer, 2010, pp. 293–307, doi:10.1007/978-3-642-12029-9_21.
View | DOI
 
[86]
2010 | Conference Paper | IST-REx-ID: 3860   OA
Chatterjee, Krishnendu, et al. Generalized Mean-Payoff and Energy Games. Vol. 8, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 505–16, doi:10.4230/LIPIcs.FSTTCS.2010.505.
View | Files available | DOI
 
[85]
2010 | Conference Paper | IST-REx-ID: 3854
Chatterjee, Krishnendu, et al. Obliging Games. Vol. 6269, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 284–96, doi:10.1007/978-3-642-15375-4_20.
View | DOI
 
[84]
2010 | Conference Paper | IST-REx-ID: 3866   OA
Bloem, Roderick, et al. Robustness in the Presence of Liveness. Edited by Tayssir Touili et al., vol. 6174, Springer, 2010, pp. 410–24, doi:10.1007/978-3-642-14295-6_36.
View | Files available | DOI
 
[83]
2010 | Journal Article | IST-REx-ID: 3861
Chatterjee, Krishnendu, et al. “Strategy Logic.” Information and Computation, vol. 208, no. 6, Elsevier, 2010, pp. 677–93, doi:10.1016/j.ic.2009.07.004.
View | Files available | DOI
 
[82]
2010 | Conference (Editor) | IST-REx-ID: 3859
Chatterjee, Krishnendu, and Thomas A. Henzinger, editors. FORMATS: Formal Modeling and Analysis of Timed Systems. Vol. 6246, Springer, 2010, doi:10.1007/978-3-642-15297-9.
View | DOI
 
[81]
2010 | Conference Paper | IST-REx-ID: 4388
Chatterjee, Krishnendu, et al. GIST: A Solver for Probabilistic Games. Vol. 6174, Springer, 2010, pp. 665–69, doi:10.1007/978-3-642-14295-6_57.
View | Files available | DOI | Download (ext.) | arXiv
 
[80]
2010 | Journal Article | IST-REx-ID: 3862   OA
Chatterjee, Krishnendu, et al. “Quantitative Languages.” ACM Transactions on Computational Logic (TOCL), vol. 11, no. 4, ACM, 2010, p. 23, doi:10.1145/1805950.1805953.
View | Files available | DOI
 
[79]
2010 | Conference Paper | IST-REx-ID: 3855
Chatterjee, Krishnendu, et al. Qualitative Analysis of Partially-Observable Markov Decision Processes. Vol. 6281, Springer, 2010, pp. 258–69, doi:10.1007/978-3-642-15155-2_24.
View | Files available | DOI
 
[78]
2010 | Journal Article | IST-REx-ID: 3867
Chatterjee, Krishnendu, et al. “Expressiveness and Closure Properties for Quantitative Languages.” Logical Methods in Computer Science, vol. 6, no. 3, International Federation of Computational Logic, 2010, pp. 1–23, doi:10.2168/LMCS-6(3:10)2010.
View | Files available | DOI
 
[77]
2010 | Conference Paper | IST-REx-ID: 3851   OA
Chatterjee, Krishnendu, and Laurent Doyen. Energy Parity Games. Vol. 6199, Springer, 2010, pp. 599–610, doi:10.1007/978-3-642-14162-1_50.
View | DOI | Download (ext.) | arXiv
 
[76]
2010 | Conference Paper | IST-REx-ID: 3856   OA
Chatterjee, Krishnendu, et al. Randomness for Free. Vol. 6281, Springer, 2010, pp. 246–57, doi:10.1007/978-3-642-15155-2_23.
View | Files available | DOI | Download (ext.)
 
[75]
2010 | Journal Article | IST-REx-ID: 3868   OA
Chatterjee, Krishnendu, et al. “Algorithms for Game Metrics.” Logical Methods in Computer Science, vol. 6, no. 3, International Federation of Computational Logic, 2010, pp. 1–27, doi:10.2168/LMCS-6(3:13)2010.
View | Files available | DOI
 
[74]
2010 | Journal Article | IST-REx-ID: 3863
Berwanger, Dietmar, et al. “Strategy Construction for Parity Games with Imperfect Information.” Information and Computation, vol. 208, no. 10, Elsevier, 2010, pp. 1206–20, doi:10.1016/j.ic.2009.09.006.
View | Files available | DOI
 
[73]
2010 | Technical Report | IST-REx-ID: 5388   OA
Chatterjee, Krishnendu, et al. Quantitative Synthesis for Concurrent Programs. IST Austria, 2010, doi:10.15479/AT:IST-2010-0004.
View | Files available | DOI
 
[72]
2010 | Technical Report | IST-REx-ID: 5390   OA
Chatterjee, Krishnendu, and Nathanaël Fijalkow. Topological, Automata-Theoretic and Logical Characterization of Finitary Languages. IST Austria, 2010, doi:10.15479/AT:IST-2010-0002.
View | Files available | DOI
 
[71]
2009 | Journal Article | IST-REx-ID: 3869
Chatterjee, Krishnendu, et al. “Qualitative Logics and Equivalences for Probabilistic Systems.” Logical Methods in Computer Science, vol. 5, no. 2, International Federation of Computational Logic, 2009, doi:10.2168/LMCS-5(2:7)2009.
View | DOI
 
[70]
2009 | Conference Paper | IST-REx-ID: 3871   OA
Chatterjee, Krishnendu, et al. Probabilistic Weighted Automata. Vol. 5710, Springer, 2009, pp. 244–58, doi:10.1007/978-3-642-04081-8_17.
View | Files available | DOI
 
[69]
2009 | Conference Paper | IST-REx-ID: 4545   OA
Chatterjee, Krishnendu, et al. A Survey of Stochastic Games with Limsup and Liminf Objectives. Vol. 5556, Springer, 2009, pp. 1–15, doi:10.1007/978-3-642-02930-1_1.
View | Files available | DOI
 
[68]
2009 | Conference Paper | IST-REx-ID: 4569   OA
Bloem, Roderick, et al. Better Quality in Synthesis through Quantitative Objectives. Vol. 5643, Springer, 2009, pp. 140–56, doi:10.1007/978-3-642-02658-4_14.
View | DOI | Download (ext.) | arXiv
 
[67]
2009 | Conference Paper | IST-REx-ID: 4540
Chatterjee, Krishnendu, et al. Expressiveness and Closure Properties for Quantitative Languages. IEEE, 2009, pp. 199–208, doi:10.1109/LICS.2009.16.
View | Files available | DOI
 
[66]
2009 | Technical Report | IST-REx-ID: 5392   OA
Chatterjee, Krishnendu. Probabilistic Automata on Infinite Words: Decidability and Undecidability Results. IST Austria, 2009, doi:10.15479/AT:IST-2009-0004.
View | Files available | DOI
 
[65]
2009 | Conference Paper | IST-REx-ID: 4580   OA
Berwanger, Dietmar, et al. Alpaga: A Tool for Solving Parity Games with Imperfect Information. Vol. 5505, Springer, 2009, pp. 58–61, doi:10.1007/978-3-642-00768-2_7.
View | Files available | DOI | Download (ext.)
 
[64]
2009 | Conference Paper | IST-REx-ID: 4542   OA
Chatterjee, Krishnendu, et al. Alternating Weighted Automata. Vol. 5699, Springer, 2009, pp. 3–13, doi:10.1007/978-3-642-03409-1_2.
View | Files available | DOI
 
[63]
2009 | Technical Report | IST-REx-ID: 5393   OA
Chatterjee, Krishnendu, et al. Gist: A Solver for Probabilistic Games. IST Austria, 2009, doi:10.15479/AT:IST-2009-0003.
View | Files available | DOI
 
[62]
2009 | Conference Paper | IST-REx-ID: 4543
Chatterjee, Krishnendu, et al. Stochastic Games with Finitary Objectives. Vol. 5734, Springer, 2009, pp. 34–54, doi:10.1007/978-3-642-03816-7_4.
View | DOI
 
[61]
2009 | Technical Report | IST-REx-ID: 5394   OA
Chatterjee, Krishnendu, et al. Improved Lower Bounds for Request-Response and Finitary Streett Games. IST Austria, 2009, doi:10.15479/AT:IST-2009-0002.
View | Files available | DOI
 
[60]
2009 | Conference Paper | IST-REx-ID: 3503   OA
Chatterjee, Krishnendu, and Thomas A. Henzinger. Probabilistic Systems with Limsup and Liminf Objectives. Vol. 5489, Springer, 2009, pp. 32–45, doi:10.1007/978-3-642-03092-5_4.
View | DOI | Download (ext.)
 
[59]
2009 | Journal Article | IST-REx-ID: 3870   OA
Chatterjee, Krishnendu, et al. “Finitary Winning in Omega-Regular Games.” ACM Transactions on Computational Logic (TOCL), vol. 11, no. 1, 1, ACM, 2009, doi:10.1145/1614431.1614432.
View | Files available | DOI
 
[58]
2009 | Conference Paper | IST-REx-ID: 4544   OA
Chatterjee, Krishnendu, et al. Termination Criteria for Solving Concurrent Safety and Reachability Games. SIAM, 2009, pp. 197–206, doi:10.1137/1.9781611973068.23.
View | Files available | DOI | Download (ext.)
 
[57]
2009 | Technical Report | IST-REx-ID: 5395   OA
Chatterjee, Krishnendu, et al. Qualitative Analysis of Partially-Observable Markov Decision Processes. IST Austria, 2009, doi:10.15479/AT:IST-2009-0001.
View | Files available | DOI
 
[56]
2008 | Conference Paper | IST-REx-ID: 3876
Chatterjee, Krishnendu, et al. Timed Parity Games: Complexity and Robustness. Vol. 5215, Springer, 2008, pp. 124–40, doi:10.1007/978-3-540-85778-5_10.
View | Files available | DOI
 
[55]
2008 | Conference Paper | IST-REx-ID: 3504
Chatterjee, Krishnendu, et al. Algorithms for Game Metrics. Vol. 2, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 107–18, doi:10.4230/LIPIcs.FSTTCS.2008.1745.
View | Files available | DOI
 
[54]
2008 | Conference Paper | IST-REx-ID: 3877
Chatterjee, Krishnendu, et al. Environment Assumptions for Synthesis. Vol. 5201, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 147–61, doi:10.1007/978-3-540-85361-9_14.
View | DOI
 
[53]
2008 | Book Chapter | IST-REx-ID: 3872
Chatterjee, Krishnendu, and Thomas A. Henzinger. “Value Iteration.” 25 Years in Model Checking, vol. 5000, Springer, 2008, pp. 107–38, doi:10.1007/978-3-540-69850-0_7.
View | DOI
 
[52]
2008 | Journal Article | IST-REx-ID: 4534
Chatterjee, Krishnendu, and Thomas A. Henzinger. “Reduction of Stochastic Parity to Stochastic Mean-Payoff Games.” Information Processing Letters, vol. 106, no. 1, Elsevier, 2008, pp. 1–7, doi:10.1016/j.ipl.2007.08.035.
View | DOI | Download (ext.)
 
[51]
2008 | Conference Paper | IST-REx-ID: 4546
Chatterjee, Krishnendu, et al. Logical Reliability of Interacting Real-Time Tasks. IEEE, 2008, pp. 909–14, doi:10.1145/1403375.1403595.
View | DOI | Download (ext.)
 
[50]
2008 | Conference Paper | IST-REx-ID: 3501
Adler, B. Thomas, et al. Assigning Trust to Wikipedia Content. ACM, 2008, doi:10.1145/1822258.1822293.
View | DOI
 
[49]
2008 | Conference Paper | IST-REx-ID: 3873
Chatterjee, Krishnendu, et al. Controller Synthesis with Budget Constraints. Vol. 4981, Springer, 2008, pp. 72–86, doi:DOI: 10.1007/978-3-540-78929-1_6.
View | DOI
 
[48]
2008 | Conference Paper | IST-REx-ID: 3878   OA
Chatterjee, Krishnendu, et al. The Complexity of Coverage. Vol. 5356, Springer, 2008, pp. 91–106, doi:10.1007/978-3-540-89330-1_7.
View | DOI | Download (ext.)
 
[47]
2008 | Conference Paper | IST-REx-ID: 3880
Berwanger, Dietmar, et al. Strategy Construction for Parity Games with Imperfect Information. Vol. 5201, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 325–39, doi:10.1007/978-3-540-85361-9.
View | Files available | DOI
 
[46]
2008 | Conference Paper | IST-REx-ID: 3502
Chatterjee, Krishnendu, et al. Robust Content-Driven Reputation. ACM, 2008, pp. 33–42, doi:10.1145/1456377.1456387 .
View | DOI
 
[45]
2008 | Conference Paper | IST-REx-ID: 3874
Chatterjee, Krishnendu, et al. Trading Infinite Memory for Uniform Randomness in Timed Games. Vol. 4981, Springer, 2008, pp. 87–100, doi:10.1007/978-3-540-78929-1_7.
View | DOI
 
[44]
2008 | Conference Paper | IST-REx-ID: 3879
Chatterjee, Krishnendu, et al. Quantitative Languages. Vol. 5213, Springer, 2008, pp. 385–400, doi:10.1007/978-3-540-87531-4_28.
View | DOI
 
[43]
2008 | Journal Article | IST-REx-ID: 4548
Chatterjee, Krishnendu, et al. “Stochastic Limit-Average Games Are in EXPTIME.” International Journal of Game Theory, vol. 37, no. 2, Springer, 2008, pp. 219–34, doi:10.1007/s00182-007-0110-5.
View | DOI | Download (ext.)
 
[42]
2008 | Conference Paper | IST-REx-ID: 3875
Chatterjee, Krishnendu, et al. Model-Checking Omega-Regular Properties of Interval Markov Chains. Vol. 4962, Springer, 2008, pp. 302–17, doi:10.1007/978-3-540-78499-9_22.
View | DOI
 
[41]
2007 | Conference Paper | IST-REx-ID: 3883
Chatterjee, Krishnendu, et al. Generalized Parity Games. Vol. 4423, Springer, 2007, pp. 153–67, doi:10.1007/978-3-540-71389-0_12.
View | DOI
 
[40]
2007 | Conference Paper | IST-REx-ID: 3884
Chatterjee, Krishnendu, et al. Strategy Logic. Vol. 4703, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 59–73, doi:10.1007/978-3-540-74407-8_5.
View | Files available | DOI
 
[39]
2007 | Conference Paper | IST-REx-ID: 3885
Chatterjee, Krishnendu. Optimal Strategy Synthesis in Stochastic Müller Games. Vol. 4423, Springer, 2007, pp. 138–52, doi:10.1007/978-3-540-71389-0_11.
View | DOI
 
[38]
2007 | Journal Article | IST-REx-ID: 4547
Chatterjee, Krishnendu, et al. “Algorithms for Omega-Regular Games with Imperfect Information.” Logical Methods in Computer Science, vol. 3, no. 184, International Federation of Computational Logic, 2007, pp. 1–23, doi:10.2168/LMCS-3(3:4)2007.
View | DOI
 
[37]
2007 | Thesis | IST-REx-ID: 4559
Chatterjee, Krishnendu. Stochastic ω-Regular Games. University of California, Berkeley, 2007, pp. 1–247.
View | Download (ext.)
 
[36]
2007 | Conference Paper | IST-REx-ID: 3886
Chatterjee, Krishnendu. Stochastic Müller Games Are PSPACE-Complete. Vol. 4855, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 436–48, doi:10.1007/978-3-540-77050-3_36.
View | DOI
 
[35]
2007 | Conference Paper | IST-REx-ID: 3881
De Alfaro, Luca, et al. Qualitative Logics and Equivalences for Probabilistic Systems. IEEE, 2007, pp. 237–48, doi:10.1109/QEST.2007.15.
View | DOI
 
[34]
2007 | Conference Paper | IST-REx-ID: 3887
Chatterjee, Krishnendu. Markov Decision Processes with Multiple Long-Run Average Objectives. Vol. 4855, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 473–84, doi:10.1007/978-3-540-77050-3_39.
View | DOI
 
[33]
2007 | Journal Article | IST-REx-ID: 3882
Chatterjee, Krishnendu. “Concurrent Games with Tail Objectives.” Theoretical Computer Science, vol. 388, no. 1–3, Elsevier, 2007, pp. 181–98, doi:10.1016/j.tcs.2007.07.047.
View | DOI
 
[32]
2007 | Conference Paper | IST-REx-ID: 4537
Chatterjee, Krishnendu, and Thomas A. Henzinger. Assume-Guarantee Synthesis. Vol. 4424, Springer, 2007, pp. 261–75, doi:10.1007/978-3-540-71209-1_21.
View | DOI
 
[31]
2006 | Conference Paper | IST-REx-ID: 3888
Chatterjee, Krishnendu, and Thomas A. Henzinger. Strategy Improvement for Stochastic Rabin and Streett Games. Vol. 4137, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2006, pp. 375–89, doi:10.1007/11817949_25.
View | DOI
 
[30]
2006 | Conference Paper | IST-REx-ID: 3890
Chatterjee, Krishnendu, et al. The Complexity of Quantitative Concurrent Parity Games. SIAM, 2006, pp. 678–87, doi:10.1145/1109557.1109631.
View | DOI
 
[29]
2006 | Conference Paper | IST-REx-ID: 4552
Chatterjee, Krishnendu, et al. Strategy Improvement for Concurrent Reachability Games. IEEE, 2006, pp. 291–300, doi:10.1109/QEST.2006.48.
View | DOI
 
[28]
2006 | Conference Paper | IST-REx-ID: 4538
Chatterjee, Krishnendu, and Thomas A. Henzinger. Strategy Improvement and Randomized Subexponential Algorithms for Stochastic Parity Games. Vol. 3884, Springer, 2006, pp. 512–23, doi:10.1007/11672142_42.
View | DOI
 
[27]
2006 | Conference Paper | IST-REx-ID: 3500
Chatterjee, Krishnendu, et al. Algorithms for Büchi Games. ACM, 2006.
View | Download (ext.)
 
[26]
2006 | Conference Paper | IST-REx-ID: 3889
Chatterjee, Krishnendu, et al. Algorithms for Omega-Regular Games with Imperfect Information. Vol. 4207, Springer, 2006, pp. 287–302, doi:10.1007/11874683_19.
View | DOI
 
[25]
2006 | Conference Paper | IST-REx-ID: 3891
Chatterjee, Krishnendu. Concurrent Games with Tail Objectives. Vol. 4207, Springer, 2006, pp. 256–70, doi:10.1007/11874683_17.
View | DOI
 
[24]
2006 | Conference Paper | IST-REx-ID: 4539
Chatterjee, Krishnendu, and Thomas A. Henzinger. Finitary Winning in Omega-Regular Games. Vol. 3920, Springer, 2006, pp. 257–71, doi:10.1007/11691372_17.
View | DOI
 
[23]
2006 | Conference Paper | IST-REx-ID: 3449
Chatterjee, Krishnendu, et al. Games for Controls. IEEE, 2006, pp. 70–82, doi:10.1109/CSFW.2006.14.
View | DOI
 
[22]
2006 | Conference Paper | IST-REx-ID: 3499
Chatterjee, Krishnendu. Nash Equilibrium for Upward-Closed Objectives. Vol. 4207, Springer, 2006, pp. 271–86, doi:10.1007/11874683_18.
View | DOI
 
[21]
2006 | Journal Article | IST-REx-ID: 4550
Chatterjee, Krishnendu, et al. “Games with Secure Equilibria.” Theoretical Computer Science, vol. 365, no. 1–2, Elsevier, 2006, pp. 67–82, doi:10.1016/j.tcs.2006.07.032.
View | DOI
 
[20]
2006 | Conference Paper | IST-REx-ID: 4549
Chatterjee, Krishnendu, et al. Compositional Quantitative Reasoning. IEEE, 2006, pp. 179–88, doi:10.1109/QEST.2006.11.
View | DOI
 
[19]
2006 | Conference Paper | IST-REx-ID: 4551
Chatterjee, Krishnendu, et al. Markov Decision Processes with Multiple Objectives. Vol. 3884, Springer, 2006, pp. 325–36, doi:10.1007/11672142_26.
View | DOI
 
[18]
2005 | Conference Paper | IST-REx-ID: 4557
Chatterjee, Krishnendu, et al. Counterexample-Guided Planning. AUAI Press, 2005, pp. 104–11.
View | Download (ext.)
 
[17]
2005 | Conference Paper | IST-REx-ID: 3896
Chatterjee, Krishnendu, et al. Complexity of Compositional Model Checking of Computation Tree Logic on Simple Structures. Vol. 3326, Springer, 2005, pp. 89–102, doi:10.1007/978-3-540-30536-1_13.
View | DOI
 
[16]
2005 | Conference Paper | IST-REx-ID: 4541
Chatterjee, Krishnendu, and Thomas A. Henzinger. Semiperfect-Information Games. Vol. 3821, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2005, pp. 1–18, doi:10.1007/11590156_1.
View | DOI
 
[15]
2005 | Conference Paper | IST-REx-ID: 4553
Chatterjee, Krishnendu, et al. The Complexity of Stochastic Rabin and Streett Games. Vol. 3580, Springer, 2005, pp. 878–90, doi:10.1007/11523468_71.
View | DOI
 
[14]
2005 | Conference Paper | IST-REx-ID: 4560
Chakrabarti, Arindam, et al. Verifying Quantitative Properties Using Bound Functions. Vol. 3725, Springer, 2005, pp. 50–64, doi:10.1007/11560548_7.
View | DOI
 
[13]
2005 | Conference Paper | IST-REx-ID: 3892
Chatterjee, Krishnendu, et al. Games with Secure Equilibria. Vol. 3657, Springer, 2005, pp. 141–61, doi:10.1007/11561163_7.
View | DOI
 
[12]
2005 | Conference Paper | IST-REx-ID: 4554
Chatterjee, Krishnendu, et al. Mean-Payoff Parity Games. IEEE, 2005, pp. 178–87, doi:10.1109/LICS.2005.26.
View | DOI
 
[11]
2005 | Conference Paper | IST-REx-ID: 3893
Chatterjee, Krishnendu. Two-Player Nonzero-Sum ω-Regular Games. Vol. 3653, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2005, pp. 413–27, doi:10.1007/11539452_32.
View | DOI
 
[10]
2004 | Conference Paper | IST-REx-ID: 3895
Chatterjee, Krishnendu, et al. Games with Secure Equilibria. IEEE, 2004, pp. 160–69, doi:10.1109/LICS.2004.1319610.
View | DOI
 
[9]
2004 | Conference Paper | IST-REx-ID: 4558
Chatterjee, Krishnendu, et al. Quantitative Stochastic Parity Games. SIAM, 2004, pp. 121–30.
View
 
[8]
2004 | Conference Paper | IST-REx-ID: 4555
Chatterjee, Krishnendu, et al. Trading Memory for Randomness. IEEE, 2004, pp. 206–17, doi:10.1109/QEST.2004.10051.
View | DOI
 
[7]
2004 | Conference Paper | IST-REx-ID: 3894
Chatterjee, Krishnendu, et al. On Nash Equilibria in Stochastic Games. Vol. 3210, Springer, 2004, pp. 26–40, doi:10.1007/978-3-540-30124-0_6.
View | DOI
 
[6]
2004 | Journal Article | IST-REx-ID: 4556
Chatterjee, Krishnendu, et al. “Stack Size Analysis for Interrupt-Driven Programs.” Information and Computation, vol. 194, no. 2, Elsevier, 2004, pp. 144–74, doi:10.1016/j.ic.2004.06.001.
View | DOI
 
[5]
2003 | Journal Article | IST-REx-ID: 3593
Chatterjee, Krishnendu, et al. “A Branching Time Temporal Framework for Quantitative Reasoning.” Journal of Automated Reasoning, vol. 30, no. 2, Springer, 2003, pp. 205–32, doi:10.1023/A:1023217515688.
View | DOI
 
[4]
2003 | Conference Paper | IST-REx-ID: 3897
Chatterjee, Krishnendu, et al. Simple Stochastic Parity Games. Vol. 2803, Springer, 2003, pp. 100–13, doi:10.1007/978-3-540-45220-1_11.
View | DOI
 
[3]
2003 | Conference Paper | IST-REx-ID: 3898
Chatterjee, Krishnendu, et al. Stack Size Analysis for Interrupt-Driven Programs. Vol. 2694, Springer, 2003, pp. 109–26, doi:10.1007/3-540-44898-5_7.
View | DOI
 
[2]
2002 | Conference Paper | IST-REx-ID: 3448
Mallick, Sanhita, et al. Implementation of Shape Grammar for Plan Analysis. Elsevier, 2002.
View
 
[1]
2001 | Conference Paper | IST-REx-ID: 3447
Chatterjee, Krishnendu, et al. Weighted Quantified Computation Tree Logic. Elsevier, 2001.
View
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed

342 Publications

Mark all

[342]
2019 | Conference Paper | IST-REx-ID: 6490
Chatterjee, Krishnendu, et al. “The Treewidth of Smart Contracts.” Proceedings of the 34th ACM Symposium on Applied Computing, vol. Part F147772, ACM, pp. 400–08, doi:10.1145/3297280.3297322.
View | DOI
 
[341]
2019 | Conference Paper | IST-REx-ID: 5948
Fu, Hongfei, and Krishnendu Chatterjee. Termination of Nondeterministic Probabilistic Programs. Edited by Constantin Enea and Ruzica Piskac, vol. 11388, Springer, 2019, pp. 468–90, doi:10.1007/978-3-030-11245-5_22.
View | DOI
 
[340]
2019 | Conference Paper | IST-REx-ID: 6175   OA
Wang, Peixin, et al. “Cost Analysis of Nondeterministic Probabilistic Programs.” 40th ACM Conference on Programming Language Design and Implementation (PLDI 2019).
View | Files available | arXiv
 
[339]
2019 | Conference Paper | IST-REx-ID: 6056   OA
Chatterjee, Krishnendu, et al. “Probabilistic Smart Contracts: Secure Randomness on the Blockchain.” IEEE International Conference on Blockchain and Cryptocurrency, IEEE.
View | Files available | Download (ext.) | arXiv
 
[338]
2019 | Journal Article | IST-REx-ID: 6380   OA
Chatterjee, Krishnendu, et al. “Efficient Parameterized Algorithms for Data Packing.” Proceedings of the ACM on Programming Languages, vol. 3, no. POPL, ACM, 2019, p. 53, doi:10.1145/3290366.
View | Files available | DOI
 
[337]
2019 | Conference Paper | IST-REx-ID: 6378   OA
Chatterjee, Krishnendu, et al. “Hybrid Mining: Exploiting Blockchain’s Computational Power for Distributed Problem Solving.” Proceedings of the 34th ACM Symposium on Applied Computing, vol. Part F147772, ACM, pp. 374–81, doi:10.1145/3297280.3297319.
View | Files available | DOI
 
[336]
2019 | Conference Paper | IST-REx-ID: 6462   OA
Avni, Guy, et al. “Run-Time Optimization for Learned Controllers through Quantitative Games.” 31st International Conference on Computer-Aided Verification, vol. 11561, Springer, 2019, pp. 630–49, doi:10.1007/978-3-030-25540-4_36.
View | Files available | DOI
 
[335]
2019 | Conference Paper | IST-REx-ID: 6780   OA
Huang, Mingzhang, et al. “Modular Verification for Almost-Sure Termination of Probabilistic Programs.” Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications , ACM.
View | Files available | Download (ext.) | arXiv
 
[334]
2018 | Conference Paper | IST-REx-ID: 143   OA
Brázdil, Tomáš, et al. Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS. Vol. F138033, IEEE, 2018, pp. 185–94, doi:10.1145/3209108.3209191.
View | DOI | Download (ext.)
 
[333]
2018 | Journal Article | IST-REx-ID: 198   OA
Ibsen-Jensen, Rasmus, et al. “Language Acquisition with Communication between Learners.” Journal of the Royal Society Interface, vol. 15, no. 140, 20180073, Royal Society, 2018, doi:10.1098/rsif.2018.0073.
View | Files available | DOI
 
[332]
2018 | Conference Paper | IST-REx-ID: 35   OA
Chatterjee, Krishnendu, et al. “Algorithms and Conditional Lower Bounds for Planning Problems.” 28th International Conference on Automated Planning and Scheduling , AAAI Press, 2018.
View | Download (ext.) | arXiv
 
[331]
2018 | Book Chapter | IST-REx-ID: 59
Bloem, Roderick, et al. “Graph Games and Reactive Synthesis.” Handbook of Modeling Checking, edited by Thomas A Henzinger et al., 1st ed., Springer, 2018, pp. 921–62, doi:10.1007/978-3-319-10575-8_27.
View | DOI
 
[330]
2018 | Conference Paper | IST-REx-ID: 66   OA
Chatterjee, Krishnendu, et al. Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies. Vol. 118, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 11, doi:10.4230/LIPIcs.CONCUR.2018.11.
View | Files available | DOI | Download (ext.) | arXiv
 
[329]
2018 | Conference Paper | IST-REx-ID: 24   OA
Chatterjee, Krishnendu, et al. Expectation Optimization with Probabilistic Guarantees in POMDPs with Discounted-Sum Objectives. Vol. 2018, IJCAI, 2018, pp. 4692–99, doi:10.24963/ijcai.2018/652.
View | DOI | Download (ext.) | arXiv
 
[328]
2018 | Conference Paper | IST-REx-ID: 310   OA
Chatterjee, Krishnendu, et al. Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety and Diameter. ACM, 2018, pp. 2341–56, doi:10.1137/1.9781611975031.151.
View | DOI | Download (ext.) | arXiv
 
[327]
2018 | Journal Article | IST-REx-ID: 454   OA
Reiter, Johannes, et al. “Crosstalk in Concurrent Repeated Games Impedes Direct Reciprocity and Requires Stronger Levels of Forgiveness.” Nature Communications, vol. 9, no. 1, 555, Nature Publishing Group, 2018, doi:10.1038/s41467-017-02721-8.
View | Files available | DOI
 
[326]
2018 | Journal Article | IST-REx-ID: 6009   OA
Chatterjee, Krishnendu, et al. “Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components.” ACM Transactions on Programming Languages and Systems, vol. 40, no. 3, Association for Computing Machinery (ACM), 2018, p. 9, doi:10.1145/3210257.
View | Files available | DOI | Download (ext.) | arXiv
 
[325]
2018 | Journal Article | IST-REx-ID: 5993   OA
Chatterjee, Krishnendu, et al. “Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs.” ACM Transactions on Programming Languages and Systems, vol. 40, no. 2, Association for Computing Machinery (ACM), 2018, p. 7, doi:10.1145/3174800.
View | Files available | DOI | Download (ext.) | arXiv
 
[324]
2018 | Conference Paper | IST-REx-ID: 6340   OA
Goharshady, Amir Kafshdar, et al. “Secure Credit Reporting on the Blockchain.” Proceedings of the IEEE International Conference on Blockchain, IEEE, 2018, pp. 1343–48.
View | Files available | arXiv
 
[323]
2018 | Conference Paper | IST-REx-ID: 79   OA
Arming, Sebastian, et al. Parameter-Independent Strategies for PMDPs via POMDPs. Vol. 11024, Springer, 2018, pp. 53–70, doi:10.1007/978-3-319-99154-2_4.
View | DOI | Download (ext.) | arXiv
 
[322]
2018 | Journal Article | IST-REx-ID: 738   OA
Chatterjee, Krishnendu, et al. “Automated Competitive Analysis of Real Time Scheduling with Graph Games.” Real-Time Systems, vol. 54, no. 1, Springer, 2018, pp. 166–207, doi:10.1007/s11241-017-9293-4.
View | Files available | DOI
 
[321]
2018 | Book Chapter | IST-REx-ID: 86
Chatterjee, Krishnendu, et al. “Computing Average Response Time.” Principles of Modeling, edited by Marten Lohstroh et al., vol. 10760, Springer, 2018, pp. 143–61, doi:10.1007/978-3-319-95246-8_9.
View | DOI
 
[320]
2018 | Journal Article | IST-REx-ID: 157
Hilbe, Christian, et al. “Evolution of Cooperation in Stochastic Games.” Nature, vol. 559, no. 7713, Nature Publishing Group, 2018, pp. 246–49, doi:10.1038/s41586-018-0277-x.
View | Files available | DOI
 
[319]
2018 | Conference Paper | IST-REx-ID: 25
Horák, Karel, et al. “Goal-HSVI: Heuristic Search Value Iteration for Goal-POMDPs.” Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, vol. 2018–July, IJCAI, 2018, pp. 4764–70, doi:10.24963/ijcai.2018/662 .
View | DOI
 
[318]
2018 | Conference Paper | IST-REx-ID: 311   OA
Chatterjee, Krishnendu, et al. Quantitative Analysis of Smart Contracts. Vol. 10801, Springer, 2018, pp. 739–67, doi:10.1007/978-3-319-89884-1_26.
View | Files available | DOI
 
[317]
2018 | Conference Paper | IST-REx-ID: 141   OA
Chatterjee, Krishnendu, et al. Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives. Vol. 10982, Springer, 2018, pp. 178–97, doi:10.1007/978-3-319-96142-2_13.
View | Files available | DOI
 
[316]
2018 | Journal Article | IST-REx-ID: 2   OA
Hilbe, Christian, et al. “Indirect Reciprocity with Private Noisy and Incomplete Information.” PNAS, vol. 115, no. 48, National Academy of Sciences, 2018, pp. 12241–46, doi:10.1073/pnas.1810565115 .
View | Files available | DOI | Download (ext.) | PubMed | Europe PMC
 
[315]
2018 | Conference Paper | IST-REx-ID: 297   OA
Brázdil, Tomáš, et al. Strategy Representation by Decision Trees in Reactive Synthesis. Vol. 10805, Springer, 2018, pp. 385–407, doi:10.1007/978-3-319-89960-2_21.
View | Files available | DOI
 
[314]
2018 | Conference Paper | IST-REx-ID: 325   OA
Agrawal, Sheshansh, et al. Lexicographic Ranking Supermartingales: An Efficient Approach to Termination of Probabilistic Programs. Vol. 2, no. POPL, 34, ACM, 2018, doi:10.1145/3158122.
View | DOI | Download (ext.) | arXiv
 
[313]
2018 | Conference Paper | IST-REx-ID: 34   OA
Chatterjee, Krishnendu, et al. Sensor Synthesis for POMDPs with Reachability Objectives. Vol. 2018, AAAI Press, 2018, pp. 47–55.
View | Download (ext.) | arXiv
 
[312]
2018 | Journal Article | IST-REx-ID: 419
Hilbe, Christian, et al. “Partners and Rivals in Direct Reciprocity.” Nature Human Behaviour, vol. 2, Nature Publishing Group, 2018, pp. 469–477, doi:10.1038/s41562-018-0320-9.
View | Files available | DOI
 
[311]
2018 | Conference Paper | IST-REx-ID: 5679   OA
Huang, Mingzhang, et al. New Approaches for Almost-Sure Termination of Probabilistic Programs. Edited by Sukyoung Ryu, vol. 11275, Springer, 2018, pp. 181–201, doi:10.1007/978-3-030-02768-1_11.
View | DOI | Download (ext.) | arXiv
 
[310]
2018 | Preprint | IST-REx-ID: 5977   OA
Chatterjee, Krishnendu, et al. “Computational Approaches for Stochastic Shortest Path on Succinct MDPs.” ArXiv, ArXiv.
View | Download (ext.) | arXiv
 
[309]
2018 | Journal Article | IST-REx-ID: 5751   OA
Pavlogiannis, Andreas, et al. “Construction of Arbitrarily Strong Amplifiers of Natural Selection Using Evolutionary Graph Theory.” Communications Biology, vol. 1, no. 1, Springer Nature, 2018, p. 71, doi:10.1038/s42003-018-0078-7.
View | Files available | DOI
 
[308]
2017 | Journal Article | IST-REx-ID: 1065
Chatterjee, Krishnendu, and Georg F. Osang. “Pushdown Reachability with Constant Treewidth.” Information Processing Letters, vol. 122, Elsevier, 2017, pp. 25–29, doi:10.1016/j.ipl.2017.02.003.
View | Files available | DOI
 
[307]
2017 | Journal Article | IST-REx-ID: 1407
Svoreňová, Mária, et al. “Temporal Logic Control for Stochastic Linear Systems Using Abstraction Refinement of Probabilistic Games.” Nonlinear Analysis: Hybrid Systems, vol. 23, no. 2, Elsevier, 2017, pp. 230–53, doi:10.1016/j.nahs.2016.04.006.
View | Files available | DOI | Download (ext.)
 
[306]
2017 | Journal Article | IST-REx-ID: 465
Chatterjee, Krishnendu, et al. “Edit Distance for Pushdown Automata.” Logical Methods in Computer Science, vol. 13, no. 3, International Federation of Computational Logic, 2017, doi:10.23638/LMCS-13(3:23)2017.
View | Files available | DOI
 
[305]
2017 | Journal Article | IST-REx-ID: 681   OA
Chatterjee, Krishnendu, et al. “Doomsday Equilibria for Omega-Regular Games.” Information and Computation, vol. 254, Elsevier, 2017, pp. 296–315, doi:10.1016/j.ic.2016.10.012.
View | DOI | Download (ext.)
 
[304]
2017 | Journal Article | IST-REx-ID: 744
Priklopil, Tadeas, et al. “Optional Interactions and Suspicious Behaviour Facilitates Trustful Cooperation in Prisoners Dilemma.” Journal of Theoretical Biology, vol. 433, Academic Press, 2017, pp. 64–72, doi:10.1016/j.jtbi.2017.08.025.
View | DOI
 
[303]
2017 | Conference Paper | IST-REx-ID: 1009   OA
Chatterjee, Krishnendu, et al. “Optimizing Expectation with Guarantees in POMDPs.” Proceedings of the 31st AAAI Conference on Artificial Intelligence, vol. 5, AAAI Press, 2017, pp. 3725–32.
View | Download (ext.)
 
[302]
2017 | Conference Paper | IST-REx-ID: 1011   OA
Chatterjee, Krishnendu, et al. Faster Algorithms for Weighted Recursive State Machines. Edited by Hongseok Yang, vol. 10201, Springer, 2017, pp. 287–313, doi:10.1007/978-3-662-54434-1_11.
View | DOI | Download (ext.)
 
[301]
2017 | Journal Article | IST-REx-ID: 1080   OA
Reiter, Johannes, et al. “Reconstructing Metastatic Seeding Patterns of Human Cancers.” Nature Communications, vol. 8, 14114, Nature Publishing Group, 2017, doi:10.1038/ncomms14114.
View | Files available | DOI
 
[300]
2017 | Journal Article | IST-REx-ID: 1294
Brázdil, Tomáš, et al. “Trading Performance for Stability in Markov Decision Processes.” Journal of Computer and System Sciences, vol. 84, Elsevier, 2017, pp. 144–70, doi:10.1016/j.jcss.2016.09.009.
View | Files available | DOI
 
[299]
2017 | Journal Article | IST-REx-ID: 466
Chatterjee, Krishnendu, et al. “Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes.” Logical Methods in Computer Science, vol. 13, no. 2, International Federation of Computational Logic, 2017, p. 15, doi:10.23638/LMCS-13(2:15)2017.
View | Files available | DOI
 
[298]
2017 | Journal Article | IST-REx-ID: 1066
Chatterjee, Krishnendu, et al. “Quantitative Fair Simulation Games.” Information and Computation, vol. 254, no. 2, Elsevier, 2017, pp. 143–66, doi:10.1016/j.ic.2016.10.006.
View | Files available | DOI
 
[297]
2017 | Journal Article | IST-REx-ID: 512
Pavlogiannis, Andreas, et al. “Amplification on Undirected Population Structures: Comets Beat Stars.” Scientific Reports, vol. 7, no. 1, 82, Nature Publishing Group, 2017, doi:10.1038/s41598-017-00107-w.
View | Files available | DOI
 
[296]
2017 | Technical Report | IST-REx-ID: 5455   OA
Chatterjee, Krishnendu, et al. Optimal Dyck Reachability for Data-Dependence and Alias Analysis. IST Austria, 2017, doi:10.15479/AT:IST-2017-870-v1-1.
View | Files available | DOI
 
[295]
2017 | Book Chapter | IST-REx-ID: 625
Chatterjee, Krishnendu, et al. “The Cost of Exactness in Quantitative Reachability.” Models, Algorithms, Logics and Tools, edited by Luca Aceto et al., vol. 10460, Springer, 2017, pp. 367–81, doi:10.1007/978-3-319-63121-9_18.
View | DOI
 
[294]
2017 | Journal Article | IST-REx-ID: 719
Chatterjee, Krishnendu, and Rüdiger Ehlers. “Special Issue: Synthesis and SYNT 2014.” Acta Informatica, vol. 54, no. 6, Springer, 2017, pp. 543–44, doi:10.1007/s00236-017-0299-0.
View | DOI
 
[293]
2017 | Conference Paper | IST-REx-ID: 1194   OA
Chatterjee, Krishnendu, et al. Stochastic Invariants for Probabilistic Termination. Vol. 52, no. 1, ACM, 2017, pp. 145–60, doi:10.1145/3009837.3009873.
View | DOI | Download (ext.)
 
[292]
2017 | Journal Article | IST-REx-ID: 467
Chatterjee, Krishnendu, et al. “Nested Weighted Automata.” ACM Transactions on Computational Logic (TOCL), vol. 18, no. 4, ACM, 2017, p. 31, doi:10.1145/3152769.
View | Files available | DOI | Download (ext.) | arXiv
 
[291]
2017 | Technical Report | IST-REx-ID: 5456   OA
Chalupa, Marek, et al. Data-Centric Dynamic Partial Order Reduction. IST Austria, 2017, doi:10.15479/AT:IST-2017-872-v1-1.
View | Files available | DOI
 
[290]
2017 | Conference Paper | IST-REx-ID: 551   OA
Chatterjee, Krishnendu, et al. “Faster Monte Carlo Algorithms for Fixation Probability of the Moran Process on Undirected Graphs.” Leibniz International Proceedings in Informatics, vol. 83, 61, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, doi:10.4230/LIPIcs.MFCS.2017.61.
View | Files available | DOI
 
[289]
2017 | Conference Paper | IST-REx-ID: 645   OA
Ashok, Pranav, et al. Value Iteration for Long Run Average Reward in Markov Decision Processes. Edited by Rupak Majumdar and Viktor Kunčak, vol. 10426, Springer, 2017, pp. 201–21, doi:10.1007/978-3-319-63387-9_10.
View | DOI | Download (ext.)
 
[288]
2017 | Journal Article | IST-REx-ID: 671   OA
Hilbe, Christian, et al. “Memory-n Strategies of Direct Reciprocity.” PNAS, vol. 114, no. 18, National Academy of Sciences, 2017, pp. 4715–20, doi:10.1073/pnas.1621239114.
View | DOI | Download (ext.) | PubMed | Europe PMC
 
[287]
2017 | Conference Paper | IST-REx-ID: 552   OA
Chatterjee, Krishnendu, et al. “Faster Algorithms for Mean Payoff Parity Games.” Leibniz International Proceedings in Informatics, vol. 83, 39, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, doi:10.4230/LIPIcs.MFCS.2017.39.
View | Files available | DOI
 
[286]
2017 | Conference Paper | IST-REx-ID: 639   OA
Chatterjee, Krishnendu, et al. Non-Polynomial Worst Case Analysis of Recursive Programs. Edited by Rupak Majumdar and Viktor Kunčak, vol. 10427, Springer, 2017, pp. 41–63, doi:10.1007/978-3-319-63390-9_3.
View | DOI | Download (ext.)
 
[285]
2017 | Journal Article | IST-REx-ID: 653
Makohon Moore, Alvin, et al. “Limited Heterogeneity of Known Driver Gene Mutations among the Metastases of Individual Patients with Pancreatic Cancer.” Nature Genetics, vol. 49, no. 3, Nature Publishing Group, 2017, pp. 358–66, doi:10.1038/ng.3764.
View | DOI
 
[284]
2017 | Journal Article | IST-REx-ID: 684   OA
Chatterjee, Krishnendu, and Nir Piterman. “Obligation Blackwell Games and P-Automata.” Journal of Symbolic Logic, vol. 82, no. 2, Cambridge University Press, 2017, pp. 420–52, doi:10.1017/jsl.2016.71.
View | DOI | Download (ext.)
 
[283]
2017 | Conference Paper | IST-REx-ID: 711   OA
Chatterjee, Krishnendu, et al. Bidirectional Nested Weighted Automata. Vol. 85, 5, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, doi:10.4230/LIPIcs.CONCUR.2017.5.
View | Files available | DOI
 
[282]
2017 | Journal Article | IST-REx-ID: 716
Chatterjee, Krishnendu, and Yaron Velner. “The Complexity of Mean-Payoff Pushdown Games.” Journal of the ACM, vol. 64, no. 5, ACM, 2017, p. 34, doi:10.1145/3121408.
View | DOI
 
[281]
2017 | Conference Paper | IST-REx-ID: 949   OA
Chatterjee, Krishnendu, et al. JTDec: A Tool for Tree Decompositions in Soot. Edited by Deepak D’Souza, vol. 10482, Springer, 2017, pp. 59–66, doi:10.1007/978-3-319-68167-2_4.
View | Files available | DOI
 
[280]
2017 | Journal Article | IST-REx-ID: 464   OA
Chatterjee, Krishnendu, et al. “Improved Algorithms for Parity and Streett Objectives.” Logical Methods in Computer Science, vol. 13, no. 3, 26, International Federation of Computational Logic, 2017, doi:10.23638/LMCS-13(3:26)2017.
View | Files available | DOI
 
[279]
2017 | Conference Paper | IST-REx-ID: 553   OA
Chatterjee, Krishnendu, et al. “Strategy Complexity of Concurrent Safety Games.” Leibniz International Proceedings in Informatics, vol. 83, 55, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, doi:10.4230/LIPIcs.MFCS.2017.55.
View | Files available | DOI | Download (ext.)
 
[278]
2017 | Conference Paper | IST-REx-ID: 628   OA
Chatterjee, Krishnendu, et al. Automated Recurrence Analysis for Almost Linear Expected Runtime Bounds. Edited by Rupak Majumdar and Viktor Kunčak, vol. 10426, Springer, 2017, pp. 118–39, doi:10.1007/978-3-319-63387-9_6.
View | DOI | Download (ext.)
 
[277]
2017 | Conference Paper | IST-REx-ID: 6519   OA
Chatterjee, Krishnendu, et al. Improved Set-Based Symbolic Algorithms for Parity Games. Vol. 82, Schloss Dagstuhl -Leibniz-Zentrum fuer Informatik, 2017, p. 18, doi:10.4230/LIPICS.CSL.2017.18.
View | Files available | DOI
 
[276]
2017 | Journal Article | IST-REx-ID: 717   OA
Chatterjee, Krishnendu, and Yaron Velner. “Hyperplane Separation Technique for Multidimensional Mean-Payoff Games.” Journal of Computer and System Sciences, vol. 88, Academic Press, 2017, pp. 236–59, doi:10.1016/j.jcss.2017.04.005.
View | Files available | DOI | Download (ext.)
 
[275]
2017 | Research Data | IST-REx-ID: 5559
Pavlogiannis, Andreas, et al. Strong Amplifiers of Natural Selection. IST Austria, 2017, doi:10.15479/AT:ISTA:51.
View | Files available | DOI
 
[274]
2016 | Conference Paper | IST-REx-ID: 1166
Chatterjee, Krishnendu, et al. “A Symbolic SAT Based Algorithm for Almost Sure Reachability with Small Strategies in Pomdps.” Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, vol. 2016, AAAI Press, 2016, pp. 3225–32.
View | Files available
 
[273]
2016 | Conference Paper | IST-REx-ID: 1438
Chatterjee, Krishnendu, et al. Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs. Vol. 20–22, ACM, 2016, pp. 327–42, doi:10.1145/2837614.2837639.
View | Files available | DOI | Download (ext.) | arXiv
 
[272]
2016 | Conference Paper | IST-REx-ID: 478   OA
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. The Complexity of Deciding Legality of a Single Step of Magic: The Gathering. Vol. 285, IOS Press, 2016, pp. 1432–39, doi:10.3233/978-1-61499-672-9-1432.
View | Files available | DOI
 
[271]
2016 | Conference Paper | IST-REx-ID: 480   OA
Chatterjee, Krishnendu, and Laurent Doyen. Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives. Vol. 05-08-July-2016, IEEE, 2016, pp. 247–56, doi:10.1145/2933575.2934513.
View | DOI | Download (ext.)
 
[270]
2016 | Journal Article | IST-REx-ID: 1477
Chatterjee, Krishnendu, et al. “What Is Decidable about Partially Observable Markov Decision Processes with ω-Regular Objectives.” Journal of Computer and System Sciences, vol. 82, no. 5, Elsevier, 2016, pp. 878–911, doi:10.1016/j.jcss.2016.02.009.
View | Files available | DOI | Download (ext.) | arXiv
 
[269]
2016 | Conference Paper | IST-REx-ID: 1182   OA
Chatterjee, Krishnendu, et al. Robust Draws in Balanced Knockout Tournaments. Vol. 2016–January, AAAI Press, 2016, pp. 172–79.
View | Files available | Download (ext.)
 
[268]
2016 | Conference Paper | IST-REx-ID: 1245
Pandey, Vineet, and Krishnendu Chatterjee. “Game-Theoretic Models Identify Useful Principles for Peer Collaboration in Online Learning Platforms.” Proceedings of the ACM Conference on Computer Supported Cooperative Work, vol. 26, no. Februar-2016, ACM, 2016, pp. 365–68, doi:10.1145/2818052.2869122.
View | DOI
 
[267]
2016 | Conference Paper | IST-REx-ID: 1327   OA
Brázdil, Tomáš, et al. “Stochastic Shortest Path with Energy Constraints in POMDPs.” Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems, ACM, 2016, pp. 1465–66.
View | Download (ext.)
 
[266]
2016 | Journal Article | IST-REx-ID: 1529
Chatterjee, Krishnendu, et al. “Optimal Cost Almost-Sure Reachability in POMDPs.” Artificial Intelligence, vol. 234, Elsevier, 2016, pp. 26–48, doi:10.1016/j.artint.2016.01.007.
View | Files available | DOI | Download (ext.) | arXiv
 
[265]
2016 | Technical Report | IST-REx-ID: 5449   OA
Pavlogiannis, Andreas, et al. Amplification on Undirected Population Structures: Comets Beat Stars. IST Austria, 2016, doi:10.15479/AT:IST-2016-648-v1-1.
View | Files available | DOI
 
[264]
2016 | Technical Report | IST-REx-ID: 5451   OA
Pavlogiannis, Andreas, et al. Strong Amplifiers of Natural Selection. IST Austria, 2016, doi:10.15479/AT:IST-2016-728-v1-1.
View | Files available | DOI
 
[263]
2016 | Conference Paper | IST-REx-ID: 1068   OA
Chatterjee, Krishnendu, et al. Conditionally Optimal Algorithms for Generalized Büchi Games. Vol. 58, 25, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, doi:10.4230/LIPIcs.MFCS.2016.25.
View | Files available | DOI
 
[262]
2016 | Conference Paper | IST-REx-ID: 1070   OA
Chatterjee, Krishnendu, and Laurent Doyen. Computation Tree Logic for Synchronization Properties. Vol. 55, 98, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016, doi:10.4230/LIPIcs.ICALP.2016.98.
View | Files available | DOI
 
[261]
2016 | Conference Paper | IST-REx-ID: 1138   OA
Chatterjee, Krishnendu, et al. “Quantitative Automata under Probabilistic Semantics.” Proceedings of the 31st Annual ACM/IEEE Symposium, IEEE, 2016, pp. 76–85, doi:10.1145/2933575.2933588.
View | DOI | Download (ext.)
 
[260]
2016 | Conference Paper | IST-REx-ID: 1140   OA
Chatterjee, Krishnendu, et al. “Model and Objective Separation with Conditional Lower Bounds Disjunction Is Harder than Conjunction.” Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2016, pp. 197–206, doi:10.1145/2933575.2935304.
View | DOI | Download (ext.)
 
[259]
2016 | Conference Paper | IST-REx-ID: 1335   OA
Chatterjee, Krishnendu, et al. Quantitative Monitor Automata. Vol. 9837, Springer, 2016, pp. 23–38, doi:10.1007/978-3-662-53413-7_2.
View | DOI | Download (ext.)
 
[258]
2016 | Technical Report | IST-REx-ID: 5445   OA
Chatterjee, Krishnendu, et al. Quantitative Interprocedural Analysis. IST Austria, 2016, doi:10.15479/AT:IST-2016-523-v1-1.
View | Files available | DOI
 
[257]
2016 | Technical Report | IST-REx-ID: 5452
Pavlogiannis, Andreas, et al. Arbitrarily Strong Amplifiers of Natural Selection. IST Austria, 2016, doi:10.15479/AT:IST-2017-728-v2-1.
View | Files available | DOI
 
[256]
2016 | Conference Paper | IST-REx-ID: 1090   OA
Chatterjee, Krishnendu, et al. Nested Weighted Limit-Average Automata of Bounded Width. Vol. 58, 24, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, doi:10.4230/LIPIcs.MFCS.2016.24.
View | Files available | DOI
 
[255]
2016 | Conference Paper | IST-REx-ID: 1324
Chatterjee, Krishnendu, and Martin Chmelik. “Indefinite-Horizon Reachability in Goal-DEC-POMDPs.” Proceedings of the Twenty-Sixth International Conference on International Conference on Automated Planning and Scheduling, vol. 2016–January, AAAI Press, 2016, pp. 88–96.
View | Download (ext.)
 
[254]
2016 | Conference Paper | IST-REx-ID: 1386   OA
Chatterjee, Krishnendu, et al. Termination Analysis of Probabilistic Programs through Positivstellensatz’s. Vol. 9779, Springer, 2016, pp. 3–22, doi:10.1007/978-3-319-41528-4_1.
View | DOI | Download (ext.)
 
[253]
2016 | Technical Report | IST-REx-ID: 5453   OA
Pavlogiannis, Andreas, et al. Arbitrarily Strong Amplifiers of Natural Selection. IST Austria, 2016, doi:10.15479/AT:IST-2017-749-v3-1.
View | Files available | DOI
 
[252]
2016 | Conference Paper | IST-REx-ID: 1071
Chatterjee, Krishnendu, et al. Optimal Reachability and a Space Time Tradeoff for Distance Queries in Constant Treewidth Graphs. Vol. 57, 28, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016, doi:10.4230/LIPIcs.ESA.2016.28.
View | Files available | DOI
 
[251]
2016 | Conference Paper | IST-REx-ID: 1437
Chatterjee, Krishnendu, et al. Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components. Vol. 20–22, ACM, 2016, pp. 733–47, doi:10.1145/2837614.2837624.
View | Files available | DOI | Download (ext.) | arXiv
 
[250]
2015 | Conference Paper | IST-REx-ID: 1609   OA
Chatterjee, Krishnendu, et al. The Complexity of Synthesis from Probabilistic Components. Vol. 9135, Springer, 2015, pp. 108–20, doi:10.1007/978-3-662-47666-6_9.
View | DOI | Download (ext.)
 
[249]
2015 | Journal Article | IST-REx-ID: 1673   OA
Adlam, Ben, et al. “Amplifiers of Selection.” Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol. 471, no. 2181, Royal Society of London, 2015, p. 20150114, doi:10.1098/rspa.2015.0114.
View | Files available | DOI
 
[248]
2015 | Conference Paper | IST-REx-ID: 1820   OA
Chatterjee, Krishnendu, et al. “Optimal Cost Almost-Sure Reachability in POMDPs.” Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence , vol. 5, AAAI Press, 2015, pp. 3496–502.
View | Files available | Download (ext.) | arXiv
 
[247]
2015 | Journal Article | IST-REx-ID: 1856
Chatterjee, Krishnendu, et al. “Measuring and Synthesizing Systems in Probabilistic Environments.” Journal of the ACM, vol. 62, no. 1, 9, ACM, 2015, doi:10.1145/2699430.
View | Files available | DOI | Download (ext.)
 
[246]
2015 | Journal Article | IST-REx-ID: 1731
Chatterjee, Krishnendu, et al. “Randomness for Free.” Information and Computation, vol. 245, no. 12, Elsevier, 2015, pp. 3–16, doi:10.1016/j.ic.2015.06.003.
View | Files available | DOI | Download (ext.)
 
[245]
2015 | Conference Paper | IST-REx-ID: 1661
Chatterjee, Krishnendu, et al. “Improved Algorithms for One-Pair and k-Pair Streett Objectives.” Proceedings - Symposium on Logic in Computer Science, vol. 2015–July, IEEE, 2015, p. 7174888, doi:10.1109/LICS.2015.34.
View | Files available | DOI | Download (ext.)
 
[244]
2015 | Journal Article | IST-REx-ID: 523   OA
Chatterjee, Krishnendu, et al. “Looking at Mean-Payoff and Total-Payoff through Windows.” Information and Computation, vol. 242, no. 6, Elsevier, 2015, pp. 25–52, doi:10.1016/j.ic.2015.03.010.
View | Files available | DOI | Download (ext.)
 
[243]
2015 | Technical Report | IST-REx-ID: 5430
Chatterjee, Krishnendu, et al. Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. IST Austria, 2015, doi:10.15479/AT:IST-2015-319-v1-1.
View | Files available | DOI
 
[242]
2015 | Technical Report | IST-REx-ID: 5435   OA
Chatterjee, Krishnendu, et al. Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. IST Austria, 2015, doi:10.15479/AT:IST-2015-318-v2-1.
View | Files available | DOI
 
[241]
2015 | Journal Article | IST-REx-ID: 1604
Chatterjee, Krishnendu, et al. “Quantitative Interprocedural Analysis.” Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT , vol. 50, no. 1, ACM, 2015, pp. 539–51, doi:10.1145/2676726.2676968.
View | Files available | DOI
 
[240]
2015 | Journal Article | IST-REx-ID: 1559   OA
Ibsen-Jensen, Rasmus, et al. “Computational Complexity of Ecological and Evolutionary Spatial Dynamics.” PNAS, vol. 112, no. 51, National Academy of Sciences, 2015, pp. 15636–41, doi:10.1073/pnas.1511366112.
View | DOI | Download (ext.) | PubMed | Europe PMC
 
[239]
2015 | Journal Article | IST-REx-ID: 1624   OA
Pavlogiannis, Andreas, et al. “Cellular Cooperation with Shift Updating and Repulsion.” Scientific Reports, vol. 5, 17147, Nature Publishing Group, 2015, doi:10.1038/srep17147.
View | Files available | DOI
 
[238]
2015 | Journal Article | IST-REx-ID: 1698   OA
Velner, Yaron, et al. “The Complexity of Multi-Mean-Payoff and Multi-Energy Games.” Information and Computation, vol. 241, no. 4, Elsevier, 2015, pp. 177–96, doi:10.1016/j.ic.2015.03.001.
View | DOI | Download (ext.)
 
[237]
2015 | Journal Article | IST-REx-ID: 1681   OA
Priklopil, Tadeas, and Krishnendu Chatterjee. “Evolution of Decisions in Population Games with Sequentially Searching Individuals.” Games, vol. 6, no. 4, Multidisciplinary Digital Publishing Institute, 2015, pp. 413–37, doi:10.3390/g6040413.
View | Files available | DOI
 
[236]
2015 | Conference Paper | IST-REx-ID: 1838   OA
Bloem, Roderick, et al. Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information. Vol. 9035, Springer, 2015, pp. 517–32, doi:10.1007/978-3-662-46681-0_50.
View | DOI | Download (ext.)
 
[235]
2015 | Journal Article | IST-REx-ID: 524
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. “Qualitative Analysis of Concurrent Mean Payoff Games.” Information and Computation, vol. 242, no. 6, Elsevier, 2015, pp. 2–24, doi:10.1016/j.ic.2015.03.009.
View | Files available | DOI | Download (ext.) | arXiv
 
[234]
2015 | Conference Paper | IST-REx-ID: 1732
Chatterjee, Krishnendu, et al. Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. IEEE, 2015, pp. 325–30, doi:10.1109/ICRA.2015.7139019.
View | Files available | DOI | Download (ext.) | arXiv
 
[233]
2015 | Technical Report | IST-REx-ID: 5429
Chatterjee, Krishnendu, et al. Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. IST Austria, 2015, doi:10.15479/AT:IST-2015-318-v1-1.
View | Files available | DOI
 
[232]
2015 | Technical Report | IST-REx-ID: 5443   OA
Chatterjee, Krishnendu, et al. A Symbolic SAT-Based Algorithm for Almost-Sure Reachability with Small Strategies in POMDPs. IST Austria, 2015, doi:10.15479/AT:IST-2015-325-v2-1.
View | Files available | DOI
 
[231]
2015 | Technical Report | IST-REx-ID: 5431   OA
Chatterjee, Krishnendu, et al. The Patience of Concurrent Stochastic Games with Safety and Reachability Objectives. IST Austria, 2015, doi:10.15479/AT:IST-2015-322-v1-1.
View | Files available | DOI
 
[230]
2015 | Technical Report | IST-REx-ID: 5436   OA
Chatterjee, Krishnendu, et al. Nested Weighted Automata. IST Austria, 2015, doi:10.15479/AT:IST-2015-170-v2-2.
View | Files available | DOI
 
[229]
2015 | Journal Article | IST-REx-ID: 1694
Chatterjee, Krishnendu, and Vinayak Prabhu. “Quantitative Temporal Simulation and Refinement Distances for Timed Systems.” IEEE Transactions on Automatic Control, vol. 60, no. 9, IEEE, 2015, pp. 2291–306, doi:10.1109/TAC.2015.2404612.
View | DOI
 
[228]
2015 | Conference Paper | IST-REx-ID: 1839   OA
Brázdil, Tomáš, et al. Multigain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives. Vol. 9035, Springer, 2015, pp. 181–87, doi:10.1007/978-3-662-46681-0_12.
View | DOI | Download (ext.)
 
[227]
2015 | Journal Article | IST-REx-ID: 2034   OA
Bérard, Béatrice, et al. “Probabilistic Opacity for Markov Decision Processes.” Information Processing Letters, vol. 115, no. 1, Elsevier, 2015, pp. 52–59, doi:10.1016/j.ipl.2014.09.001.
View | DOI | Download (ext.)
 
[226]
2015 | Journal Article | IST-REx-ID: 1598
Chatterjee, Krishnendu, et al. “Average Case Analysis of the Classical Algorithm for Markov Decision Processes with Büchi Objectives.” Theoretical Computer Science, vol. 573, no. 3, Elsevier, 2015, pp. 71–89, doi:10.1016/j.tcs.2015.01.050.
View | Files available | DOI | Download (ext.)
 
[225]
2015 | Conference Paper | IST-REx-ID: 1656
Chatterjee, Krishnendu, et al. “Nested Weighted Automata.” Proceedings - Symposium on Logic in Computer Science, vol. 2015–July, IEEE, 2015, p. 7174926, doi:10.1109/LICS.2015.72.
View | Files available | DOI | arXiv
 
[224]
2015 | Technical Report | IST-REx-ID: 5437   OA
Chatterjee, Krishnendu, et al. Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. IST Austria, 2015, doi:10.15479/AT:IST-2015-330-v2-1.
View | Files available | DOI
 
[223]
2015 | Technical Report | IST-REx-ID: 5444   OA
Reiter, Johannes, et al. Reconstructing Robust Phylogenies of Metastatic Cancers. IST Austria, 2015, doi:10.15479/AT:IST-2015-399-v1-1.
View | Files available | DOI
 
[222]
2015 | Technical Report | IST-REx-ID: 5432
Chatterjee, Krishnendu, et al. The Complexity of Evolutionary Games on Graphs. IST Austria, 2015, doi:10.15479/AT:IST-2015-323-v1-1.
View | Files available | DOI
 
[221]
2015 | Conference Paper | IST-REx-ID: 1714
Chatterjee, Krishnendu, et al. “A Framework for Automated Competitive Analysis of On-Line Scheduling of Firm-Deadline Tasks.” Real-Time Systems Symposium, vol. 2015, no. January, IEEE, 2015, pp. 118–27, doi:10.1109/RTSS.2014.9.
View | Files available | DOI
 
[220]
2015 | Journal Article | IST-REx-ID: 1873   OA
Chatterjee, Krishnendu, and Martin Chmelik. “POMDPs under Probabilistic Semantics.” Artificial Intelligence, vol. 221, Elsevier, 2015, pp. 46–72, doi:10.1016/j.artint.2014.12.009.
View | DOI | Download (ext.) | arXiv
 
[219]
2015 | Conference Paper | IST-REx-ID: 1481
Ahmed, Umair, et al. Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games. Vol. 2, AAAI Press, 2015, pp. 745–52.
View | Files available | Download (ext.)
 
[218]
2015 | Conference Paper | IST-REx-ID: 1657
Chatterjee, Krishnendu, et al. Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. IEEE, 2015, pp. 244–56, doi:10.1109/LICS.2015.32.
View | Files available | DOI
 
[217]
2015 | Technical Report | IST-REx-ID: 5438   OA
Chatterjee, Krishnendu, et al. Edit Distance for Pushdown Automata. IST Austria, 2015, doi:10.15479/AT:IST-2015-334-v1-1.
View | Files available | DOI
 
[216]
2015 | Journal Article | IST-REx-ID: 1501
Chatterjee, Krishnendu, et al. “CEGAR for Compositional Analysis of Qualitative Properties in Markov Decision Processes.” Formal Methods in System Design, vol. 47, no. 2, Springer, 2015, pp. 230–64, doi:10.1007/s10703-015-0235-2.
View | Files available | DOI | Download (ext.)
 
[215]
2015 | Technical Report | IST-REx-ID: 5440
Chatterjee, Krishnendu, et al. The Complexity of Evolutionary Games on Graphs. IST Austria, 2015, doi:10.15479/AT:IST-2015-323-v2-2.
View | Files available | DOI
 
[214]
2015 | Journal Article | IST-REx-ID: 1602
Chatterjee, Krishnendu, et al. “Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth.” ACM SIGPLAN Notices, vol. 50, no. 1, ACM, 2015, pp. 97–109, doi:10.1145/2676726.2676979.
View | Files available | DOI | Download (ext.) | arXiv
 
[213]
2015 | Conference Paper | IST-REx-ID: 1607
Chatterjee, Krishnendu, et al. Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. Vol. 9206, Springer, 2015, pp. 140–57, doi:10.1007/978-3-319-21690-4_9.
View | Files available | DOI | Download (ext.)
 
[212]
2015 | Conference Paper | IST-REx-ID: 1689   OA
Svoreňová, Mária, et al. “Temporal Logic Control for Stochastic Linear Systems Using Abstraction Refinement of Probabilistic Games.” Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, ACM, 2015, pp. 259–68, doi:10.1145/2728606.2728608.
View | Files available | DOI | Download (ext.)
 
[211]
2015 | Conference Paper | IST-REx-ID: 1691
Svoreňová, Mária, et al. “Temporal Logic Motion Planning Using POMDPs with Parity Objectives: Case Study Paper.” Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, ACM, 2015, pp. 233–38, doi:10.1145/2728606.2728617.
View | DOI
 
[210]
2015 | Journal Article | IST-REx-ID: 1709   OA
Reiter, Johannes, et al. “Biological Auctions with Multiple Rewards.” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 282, no. 1812, Royal Society, 2015, doi:10.1098/rspb.2015.1041.
View | Files available | DOI | Download (ext.) | PubMed | Europe PMC
 
[209]
2015 | Conference Paper | IST-REx-ID: 1610
Chatterjee, Krishnendu, et al. Edit Distance for Pushdown Automata. Vol. 9135, no. Part II, Springer, 2015, pp. 121–33, doi:10.1007/978-3-662-47666-6_10.
View | Files available | DOI
 
[208]
2015 | Conference Paper | IST-REx-ID: 1603
Brázdil, Tomáš, et al. Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. Vol. 9206, Springer, 2015, pp. 158–77, doi:10.1007/978-3-319-21690-4_10.
View | Files available | DOI | Download (ext.)
 
[207]
2015 | Technical Report | IST-REx-ID: 5441
Chatterjee, Krishnendu, et al. Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components. IST Austria, 2015, doi:10.15479/AT:IST-2015-340-v1-1.
View | Files available | DOI
 
[206]
2014 | Journal Article | IST-REx-ID: 1375   OA
Chatterjee, Krishnendu, et al. “Approximating the Minimum Cycle Mean.” Theoretical Computer Science, vol. 547, no. C, Elsevier, 2014, pp. 104–16, doi:10.1016/j.tcs.2014.06.031.
View | DOI | Download (ext.)
 
[205]
2014 | Journal Article | IST-REx-ID: 2234   OA
Brázdil, Tomáš, et al. “Markov Decision Processes with Multiple Long-Run Average Objectives.” Logical Methods in Computer Science, vol. 10, no. 1, International Federation of Computational Logic, 2014, doi:10.2168/LMCS-10(1:13)2014.
View | Files available | DOI | Download (ext.)
 
[204]
2014 | Journal Article | IST-REx-ID: 535   OA
Chatterjee, Krishnendu, et al. “Polynomial Time Algorithms for Energy Games with Special Weight Structures.” Algorithmica, vol. 70, no. 3, Springer, 2014, pp. 457–92, doi:10.1007/s00453-013-9843-7.
View | DOI | Download (ext.)
 
[203]
2014 | Technical Report | IST-REx-ID: 5423   OA
Chatterjee, Krishnendu, et al. A Framework for Automated Competitive Analysis of On-Line Scheduling of Firm-Deadline Tasks. IST Austria, 2014, doi:10.15479/AT:IST-2014-300-v1-1.
View | Files available | DOI
 
[202]
2014 | Technical Report | IST-REx-ID: 5428   OA
Chatterjee, Krishnendu, et al. Quantitative Fair Simulation Games. IST Austria, 2014, doi:10.15479/AT:IST-2014-315-v1-1.
View | Files available | DOI
 
[201]
2014 | Conference Paper | IST-REx-ID: 2063
Chatterjee, Krishnendu, et al. CEGAR for Qualitative Analysis of Probabilistic Systems. Vol. 8559, Springer, 2014, pp. 473–90, doi:10.1007/978-3-319-08867-9_31.
View | Files available | DOI
 
[200]
2014 | Journal Article | IST-REx-ID: 2716   OA
Chatterjee, Krishnendu, et al. “Strategy Synthesis for Multi-Dimensional Quantitative Objectives.” Acta Informatica, vol. 51, no. 3–4, Springer, 2014, pp. 129–63, doi:10.1007/s00236-013-0182-6.
View | DOI | Download (ext.)
 
[199]
2014 | Journal Article | IST-REx-ID: 2141
Chatterjee, Krishnendu, and Monika Henzinger. “Efficient and Dynamic Algorithms for Alternating Büchi Games and Maximal End-Component Decomposition.” Journal of the ACM, vol. 61, no. 3, a15, ACM, 2014, doi:10.1145/2597631.
View | Files available | DOI | Download (ext.)
 
[198]
2014 | Journal Article | IST-REx-ID: 2038
Boker, Udi, et al. “Temporal Specifications with Accumulative Values.” ACM Transactions on Computational Logic (TOCL), vol. 15, no. 4, ACM, 2014, p. 27, doi:10.1145/2629686.
View | Files available | DOI
 
[197]
2014 | Journal Article | IST-REx-ID: 2211
Chatterjee, Krishnendu, and Laurent Doyen. “Partial-Observation Stochastic Games: How to Win When Belief Fails.” ACM Transactions on Computational Logic (TOCL), vol. 15, no. 2, ACM, 2014, p. 16, doi:10.1145/2579821.
View | Files available | DOI | Download (ext.) | arXiv
 
[196]
2014 | Conference Paper | IST-REx-ID: 1903
Chatterjee, Krishnendu. Partial-Observation Stochastic Reachability and Parity Games. Vol. 8634, no. PART 1, Springer, 2014, pp. 1–4, doi:10.1007/978-3-662-44522-8_1.
View | Files available | DOI
 
[195]
2014 | Conference Paper | IST-REx-ID: 2216
Chatterjee, Krishnendu, et al. Edit Distance for Timed Automata. Springer, 2014, pp. 303–12, doi:10.1145/2562059.2562141.
View | Files available | DOI | Download (ext.)
 
[194]
2014 | Technical Report | IST-REx-ID: 5412
Chatterjee, Krishnendu, et al. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014, doi:10.15479/AT:IST-2014-153-v1-1.
View | Files available | DOI
 
[193]
2014 | Technical Report | IST-REx-ID: 5424
Chatterjee, Krishnendu, et al. Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. IST Austria, 2014, doi:10.15479/AT:IST-2014-305-v1-1.
View | Files available | DOI
 
[192]
2014 | Conference Paper | IST-REx-ID: 1853
Jha, Susmit, et al. Game Theoretic Secure Localization in Wireless Sensor Networks. IEEE, 2014, pp. 85–90, doi:10.1109/IOT.2014.7030120.
View | DOI
 
[191]
2014 | Conference Paper | IST-REx-ID: 2027   OA
Brázdil, Tomáš, et al. “Verification of Markov Decision Processes Using Learning Algorithms.” Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), edited by Franck Cassez and Jean-François Raskin, vol. 8837, Society of Industrial and Applied Mathematics, 2014, pp. 98–114, doi:10.1007/978-3-319-11936-6_8.
View | DOI | Download (ext.)
 
[190]
2014 | Conference Paper | IST-REx-ID: 2212
Chatterjee, Krishnendu, et al. Perfect-Information Stochastic Mean-Payoff Parity Games. Vol. 8412, Springer, 2014, pp. 210–25, doi:10.1007/978-3-642-54830-7_14.
View | Files available | DOI
 
[189]
2014 | Technical Report | IST-REx-ID: 5413
Chatterjee, Krishnendu, et al. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014, doi:10.15479/AT:IST-2014-153-v2-2.
View | Files available | DOI
 
[188]
2014 | Technical Report | IST-REx-ID: 5418   OA
Chatterjee, Krishnendu, and Laurent Doyen. Games with a Weak Adversary. IST Austria, 2014, doi:10.15479/AT:IST-2014-176-v1-1.
View | Files available | DOI
 
[187]
2014 | Technical Report | IST-REx-ID: 5420   OA
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. The Value 1 Problem for Concurrent Mean-Payoff Games. IST Austria, 2014, doi:10.15479/AT:IST-2014-191-v1-1.
View | Files available | DOI
 
[186]
2014 | Journal Article | IST-REx-ID: 2039   OA
Chatterjee, Krishnendu, et al. “The Time Scale of Evolutionary Innovation.” PLoS Computational Biology, vol. 10, no. 9, 7p, Public Library of Science, 2014, doi:10.1371/journal.pcbi.1003818.
View | Files available | DOI
 
[185]
2014 | Conference Paper | IST-REx-ID: 2054
Chatterjee, Krishnendu. “Qualitative Concurrent Parity Games: Bounded Rationality.” Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), edited by Paolo Baldan and Daniele Gorla, vol. 8704, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, pp. 544–59, doi:10.1007/978-3-662-44584-6_37.
View | Files available | DOI
 
[184]
2014 | Conference Paper | IST-REx-ID: 2213
Chatterjee, Krishnendu, et al. The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies. Vol. 8412, Springer, 2014, pp. 242–57, doi:10.1007/978-3-642-54830-7_16.
View | Files available | DOI | Download (ext.) | arXiv
 
[183]
2014 | Conference Paper | IST-REx-ID: 2162
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. The Complexity of Ergodic Mean Payoff Games. Vol. 8573, no. Part 2, Springer, 2014, pp. 122–33, doi:10.1007/978-3-662-43951-7_11.
View | Files available | DOI | Download (ext.) | arXiv
 
[182]
2014 | Technical Report | IST-REx-ID: 5426   OA
Chatterjee, Krishnendu, et al. Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. IST Austria, 2014, doi:10.15479/AT:IST-2014-305-v2-1.
View | Files available | DOI
 
[181]
2014 | Technical Report | IST-REx-ID: 5419   OA
Chatterjee, Krishnendu, et al. Improved Algorithms for Reachability and Shortest Path on Low Tree-Width Graphs. IST Austria, 2014, doi:10.15479/AT:IST-2014-187-v1-1.
View | Files available | DOI
 
[180]
2014 | Technical Report | IST-REx-ID: 5414   OA
Chatterjee, Krishnendu, et al. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014, doi:10.15479/AT:IST-2014-153-v3-1.
View | Files available | DOI
 
[179]
2014 | Technical Report | IST-REx-ID: 5421   OA
Chatterjee, Krishnendu, et al. The Complexity of Evolution on Graphs. IST Austria, 2014, doi:10.15479/AT:IST-2014-190-v2-2.
View | Files available | DOI
 
[178]
2014 | Journal Article | IST-REx-ID: 2187   OA
Bloem, Roderick, et al. “Synthesizing Robust Systems.” Acta Informatica, vol. 51, no. 3–4, Springer, 2014, pp. 193–220, doi:10.1007/s00236-013-0191-5.
View | Files available | DOI
 
[177]
2014 | Conference Paper | IST-REx-ID: 2163
Chatterjee, Krishnendu, and Laurent Doyen. “Games with a Weak Adversary.” Lecture Notes in Computer Science, vol. 8573, no. Part 2, Springer, 2014, pp. 110–21, doi:10.1007/978-3-662-43951-7_10.
View | Files available | DOI | Download (ext.) | arXiv
 
[176]
2014 | Technical Report | IST-REx-ID: 5427   OA
Chatterjee, Krishnendu, et al. Optimal Tree-Decomposition Balancing and Reachability on Low Treewidth Graphs. IST Austria, 2014, doi:10.15479/AT:IST-2014-314-v1-1.
View | Files available | DOI
 
[175]
2014 | Technical Report | IST-REx-ID: 5415
Chatterjee, Krishnendu, et al. Nested Weighted Automata. IST Austria, 2014, doi:10.15479/AT:IST-2014-170-v1-1.
View | Files available | DOI
 
[174]
2013 | Journal Article | IST-REx-ID: 2816   OA
Božić, Ivana, et al. “Evolutionary Dynamics of Cancer in Response to Targeted Combination Therapy.” ELife, vol. 2, e00747, eLife Sciences Publications, 2013, doi:10.7554/eLife.00747.
View | Files available | DOI
 
[173]
2013 | Journal Article | IST-REx-ID: 2854   OA
Chatterjee, Krishnendu, et al. “Strategy Improvement for Concurrent Reachability and Turn Based Stochastic Safety Games.” Journal of Computer and System Sciences, vol. 79, no. 5, Elsevier, 2013, pp. 640–57, doi:10.1016/j.jcss.2012.12.001.
View | Files available | DOI
 
[172]
2013 | Technical Report | IST-REx-ID: 5404   OA
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. The Complexity of Ergodic Games. IST Austria, 2013, doi:10.15479/AT:IST-2013-127-v1-1.
View | Files available | DOI
 
[171]
2013 | Technical Report | IST-REx-ID: 5409   OA
Chatterjee, Krishnendu, et al. Edit Distance for Timed Automata. IST Austria, 2013, doi:10.15479/AT:IST-2013-144-v1-1.
View | Files available | DOI
 
[170]
2013 | Journal Article | IST-REx-ID: 2247   OA
Zagorsky, Benjamin, et al. “Forgiver Triumphs in Alternating Prisoner’s Dilemma .” PLoS One, vol. 8, no. 12, e80814, Public Library of Science, 2013, doi:10.1371/journal.pone.0080814.
View | Files available | DOI
 
[169]
2013 | Conference (Editor) | IST-REx-ID: 2292
Chatterjee, Krishnendu, and Jiri Sgall, editors. Mathematical Foundations of Computer Science 2013. Vol. 8087, Springer, 2013, p. VI-854, doi:10.1007/978-3-642-40313-2.
View | DOI
 
[168]
2013 | Conference Paper | IST-REx-ID: 2444   OA
Chatterjee, Krishnendu, and Jakub Ła̧Cki. Faster Algorithms for Markov Decision Processes with Low Treewidth. Vol. 8044, Springer, 2013, pp. 543–58, doi:10.1007/978-3-642-39799-8_36.
View | DOI | Download (ext.) | arXiv
 
[167]
2013 | Conference Paper | IST-REx-ID: 2305   OA
Brázdil, Tomáš, et al. “Trading Performance for Stability in Markov Decision Processes.” 28th Annual ACM/IEEE Symposium, IEEE, 2013, pp. 331–40, doi:10.1109/LICS.2013.39.
View | Files available | DOI | Download (ext.) | arXiv
 
[166]
2013 | Journal Article | IST-REx-ID: 2824
Chatterjee, Krishnendu, and Vinayak Prabhu. “Synthesis of Memory-Efficient, Clock-Memory Free, and Non-Zeno Safety Controllers for Timed Systems.” Information and Computation, vol. 228–229, Elsevier, 2013, pp. 83–119, doi:10.1016/j.ic.2013.04.003.
View | DOI
 
[165]
2013 | Journal Article | IST-REx-ID: 2831   OA
Chatterjee, Krishnendu, et al. “Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives.” Formal Methods in System Design, vol. 42, no. 3, Springer, 2013, pp. 301–27, doi:10.1007/s10703-012-0180-2.
View | DOI | Download (ext.) | arXiv
 
[164]
2013 | Journal Article | IST-REx-ID: 2836   OA
Chatterjee, Krishnendu, and Vishwanath Raman. “Assume-Guarantee Synthesis for Digital Contract Signing.” Formal Aspects of Computing, vol. 26, no. 4, Springer, 2013, pp. 825–59, doi:10.1007/s00165-013-0283-6.
View | DOI | Download (ext.) | arXiv
 
[163]
2013 | Journal Article | IST-REx-ID: 2817   OA
Novak, Sebastian, et al. “Density Games.” Journal of Theoretical Biology, vol. 334, Elsevier, 2013, pp. 26–34, doi:10.1016/j.jtbi.2013.05.029.
View | Files available | DOI
 
[162]
2013 | Technical Report | IST-REx-ID: 5400   OA
Chatterjee, Krishnendu, et al. What Is Decidable about Partially Observable Markov Decision Processes with ω-Regular Objectives. IST Austria, 2013, doi:10.15479/AT:IST-2013-109-v1-1.
View | Files available | DOI
 
[161]
2013 | Conference Paper | IST-REx-ID: 1376
Chatterjee, Krishnendu, et al. “Distributed Synthesis for LTL Fragments.” 13th International Conference on Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 18–25, doi:10.1109/FMCAD.2013.6679386.
View | Files available | DOI
 
[160]
2013 | Technical Report | IST-REx-ID: 5405   OA
Chatterjee, Krishnendu, et al. Perfect-Information Stochastic Mean-Payoff Parity Games. IST Austria, 2013, doi:10.15479/AT:IST-2013-128-v1-1.
View | Files available | DOI
 
[159]
2013 | Conference Paper | IST-REx-ID: 2329
Chatterjee, Krishnendu, and Yaron Velner. Hyperplane Separation Technique for Multidimensional Mean-Payoff Games. Vol. 8052, Springer, 2013, pp. 500–15, doi:10.1007/978-3-642-40184-8_35.
View | Files available | DOI | Download (ext.) | arXiv
 
[158]
2013 | Conference Paper | IST-REx-ID: 2279
Chatterjee, Krishnendu, et al. Looking at Mean-Payoff and Total-Payoff through Windows. Vol. 8172, Springer, 2013, pp. 118–32, doi:10.1007/978-3-319-02444-8_10.
View | Files available | DOI | Download (ext.)
 
[157]
2013 | Technical Report | IST-REx-ID: 5406   OA
Chatterjee, Krishnendu, et al. Distributed Synthesis for LTL Fragments. IST Austria, 2013, doi:10.15479/AT:IST-2013-130-v1-1.
View | Files available | DOI
 
[156]
2013 | Conference Paper | IST-REx-ID: 2820
Chatterjee, Krishnendu, et al. “Automated Analysis of Real-Time Scheduling Using Graph Games.” Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, ACM, 2013, pp. 163–72, doi:10.1145/2461328.2461356.
View | Files available | DOI
 
[155]
2013 | Conference Paper | IST-REx-ID: 2446   OA
Chatterjee, Krishnendu, et al. Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis. Vol. 8044, Springer, 2013, pp. 559–75, doi:10.1007/978-3-642-39799-8_37.
View | DOI | Download (ext.) | arXiv
 
[154]
2013 | Journal Article | IST-REx-ID: 2299   OA
Godhal, Yashdeep, et al. “Synthesis of AMBA AHB from Formal Specification: A Case Study.” International Journal on Software Tools for Technology Transfer, vol. 15, no. 5–6, Springer, 2013, pp. 585–601, doi:10.1007/s10009-011-0207-9.
View | Files available | DOI
 
[153]
2013 | Journal Article | IST-REx-ID: 2814   OA
Chatterjee, Krishnendu, et al. “The Complexity of Coverage.” International Journal of Foundations of Computer Science, vol. 24, no. 2, World Scientific Publishing, 2013, pp. 165–85, doi:10.1142/S0129054113400066.
View | DOI | Download (ext.) | arXiv
 
[152]
2013 | Conference Paper | IST-REx-ID: 2819   OA
Chatterjee, Krishnendu, and Vinayak Prabhu. “Quantitative Timed Simulation Functions and Refinement Metrics for Real-Time Systems.” Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, vol. 1, Springer, 2013, pp. 273–82, doi:10.1145/2461328.2461370.
View | DOI | Download (ext.)
 
[151]
2013 | Technical Report | IST-REx-ID: 5399   OA
Reiter, Johannes, et al. TTP: Tool for Tumor Progression. IST Austria, 2013, doi:10.15479/AT:IST-2013-104-v1-1.
View | Files available | DOI
 
[150]
2013 | Conference Paper | IST-REx-ID: 1374   OA
Chatterjee, Krishnendu, and Nathanaël Fijalkow. “Infinite-State Games with Finitary Conditions.” 22nd EACSL Annual Conference on Computer Science Logic, vol. 23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 181–96, doi:10.4230/LIPIcs.CSL.2013.181.
View | Files available | DOI
 
[149]
2013 | Conference Paper | IST-REx-ID: 2238
Chatterjee, Krishnendu, et al. Multi-Objective Discounted Reward Verification in Graphs and MDPs. Vol. 8312, Springer, 2013, pp. 228–42, doi:10.1007/978-3-642-45221-5_17.
View | DOI
 
[148]
2013 | Journal Article | IST-REx-ID: 2858   OA
Reiter, Johannes, et al. “The Effect of One Additional Driver Mutation on Tumor Progression.” Evolutionary Applications, vol. 6, no. 1, Wiley-Blackwell, 2013, pp. 34–45, doi:10.1111/eva.12020.
View | Files available | DOI
 
[147]
2013 | Journal Article | IST-REx-ID: 3116
Chatterjee, Krishnendu, et al. “Code Aware Resource Management.” Formal Methods in System Design, vol. 42, no. 2, Springer, 2013, pp. 142–74, doi:10.1007/s10703-012-0170-4.
View | DOI
 
[146]
2013 | Conference Paper | IST-REx-ID: 2295
Chatterjee, Krishnendu, et al. What Is Decidable about Partially Observable Markov Decision Processes with Omega-Regular Objectives. Vol. 23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 165–80, doi:10.4230/LIPIcs.CSL.2013.165.
View | Files available | DOI
 
[145]
2013 | Technical Report | IST-REx-ID: 5403   OA
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. Qualitative Analysis of Concurrent Mean-Payoff Games. IST Austria, 2013, doi:10.15479/AT:IST-2013-126-v1-1.
View | Files available | DOI
 
[144]
2013 | Conference Paper | IST-REx-ID: 2000
Reiter, Johannes, et al. “TTP: Tool for Tumor Progression.” Proceedings of 25th Int. Conf. on Computer Aided Verification, vol. 8044, Springer, 2013, pp. 101–06, doi:10.1007/978-3-642-39799-8_6.
View | Files available | DOI | Download (ext.) | arXiv
 
[143]
2013 | Technical Report | IST-REx-ID: 5410   OA
Ahmed, Umair, et al. Automatic Generation of Alternative Starting Positions for Traditional Board Games. IST Austria, 2013, doi:10.15479/AT:IST-2013-146-v1-1.
View | Files available | DOI
 
[142]
2013 | Technical Report | IST-REx-ID: 5408   OA
Chatterjee, Krishnendu, et al. The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies. IST Austria, 2013, doi:10.15479/AT:IST-2013-141-v1-1.
View | Files available | DOI
 
[141]
2012 | Conference Paper | IST-REx-ID: 2715   OA
Chatterjee, Krishnendu, et al. Average Case Analysis of the Classical Algorithm for Markov Decision Processes with Büchi Objectives. Vol. 18, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 461–73, doi:10.4230/LIPIcs.FSTTCS.2012.461.
View | Files available | DOI
 
[140]
2012 | Conference Paper | IST-REx-ID: 2936   OA
Chatterjee, Krishnendu, et al. “Finite Automata with Time Delay Blocks.” Roceedings of the Tenth ACM International Conference on Embedded Software, ACM, 2012, pp. 43–52, doi:10.1145/2380356.2380370.
View | DOI | Download (ext.)
 
[139]
2012 | Journal Article | IST-REx-ID: 3314
Chatterjee, Krishnendu, and Ritankar Majumdar. “Discounting and Averaging in Games across Time Scales.” International Journal of Foundations of Computer Science, vol. 23, no. 3, World Scientific Publishing, 2012, pp. 609–25, doi:10.1142/S0129054112400308.
View | DOI
 
[138]
2012 | Conference Paper | IST-REx-ID: 2955
Chatterjee, Krishnendu, and Laurent Doyen. “Partial-Observation Stochastic Games: How to Win When Belief Fails.” Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2012, p. 6280436, doi:10.1109/LICS.2012.28.
View | Files available | DOI | Download (ext.) | arXiv
 
[137]
2012 | Technical Report | IST-REx-ID: 5377   OA
Chatterjee, Krishnendu, and Yaron Velner. Mean-Payoff Pushdown Games. IST Austria, 2012, doi:10.15479/AT:IST-2012-0002.
View | Files available | DOI
 
[136]
2012 | Journal Article | IST-REx-ID: 2848   OA
Chatterjee, Krishnendu, et al. “Evolutionary Game Dynamics in Populations with Different Learners.” Journal of Theoretical Biology, vol. 301, Elsevier, 2012, pp. 161–73, doi:10.1016/j.jtbi.2012.02.021.
View | DOI | Download (ext.) | PubMed | Europe PMC
 
[135]
2012 | Conference Paper | IST-REx-ID: 3252   OA
Chatterjee, Krishnendu, and Vishwanath Raman. Synthesizing Protocols for Digital Contract Signing. Vol. 7148, Springer, 2012, pp. 152–68, doi:10.1007/978-3-642-27940-9_11.
View | DOI | Download (ext.)
 
[134]
2012 | Journal Article | IST-REx-ID: 3846   OA
Chatterjee, Krishnendu, and Thomas A. Henzinger. “A Survey of Stochastic ω Regular Games.” Journal of Computer and System Sciences, vol. 78, no. 2, Elsevier, 2012, pp. 394–413, doi:10.1016/j.jcss.2011.05.002.
View | Files available | DOI
 
[133]
2012 | Conference Paper | IST-REx-ID: 497
Chatterjee, Krishnendu, et al. Faster Algorithms for Alternating Refinement Relations. Vol. 16, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 167–82, doi:10.4230/LIPIcs.CSL.2012.167.
View | Files available | DOI
 
[132]
2012 | Conference Paper | IST-REx-ID: 2956
Chatterjee, Krishnendu, and Yaron Velner. “Mean Payoff Pushdown Games.” Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, 6280438, IEEE, 2012, doi:10.1109/LICS.2012.30.
View | Files available | DOI
 
[131]
2012 | Technical Report | IST-REx-ID: 5378   OA
Chatterjee, Krishnendu, et al. Faster Algorithms for Alternating Refinement Relations. IST Austria, 2012, doi:10.15479/AT:IST-2012-0001.
View | Files available | DOI
 
[130]
2012 | Conference Paper | IST-REx-ID: 3341
Chatterjee, Krishnendu. Robustness of Structurally Equivalent Concurrent Parity Games. Vol. 7213, Springer, 2012, pp. 270–85, doi:10.1007/978-3-642-28729-9_18.
View | Files available | DOI | Download (ext.) | arXiv
 
[129]
2012 | Journal Article | IST-REx-ID: 3260   OA
Chatterjee, Krishnendu, et al. “Evolutionary Dynamics of Biological Auctions.” Theoretical Population Biology, vol. 81, no. 1, Academic Press, 2012, pp. 69–80, doi:10.1016/j.tpb.2011.11.003.
View | Files available | DOI | Download (ext.) | PubMed | Europe PMC
 
[128]
2012 | Conference Paper | IST-REx-ID: 2957
Chatterjee, Krishnendu, and Mathieu Tracol. “Decidable Problems for Probabilistic Automata on Infinite Words.” Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2012, p. 6280437, doi:10.1109/LICS.2012.29.
View | Files available | DOI | Download (ext.) | arXiv
 
[127]
2012 | Journal Article | IST-REx-ID: 2972   OA
Chatterjee, Krishnendu, and Laurent Doyen. “Energy Parity Games.” Theoretical Computer Science, vol. 458, Elsevier, 2012, pp. 49–60, doi:10.1016/j.tcs.2012.07.038.
View | Files available | DOI
 
[126]
2012 | Journal Article | IST-REx-ID: 3254
Chatterjee, Krishnendu. “The Complexity of Stochastic Müller Games.” Information and Computation, vol. 211, Elsevier, 2012, pp. 29–48, doi:10.1016/j.ic.2011.11.004.
View | DOI | Download (ext.)
 
[125]
2012 | Conference Paper | IST-REx-ID: 3165
Chatterjee, Krishnendu, and Monika Henzinger. “An O(N2) Time Algorithm for Alternating Büchi Games.” Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2012, pp. 1386–99, doi:10.1137/1.9781611973099.109.
View | Files available | DOI
 
[124]
2012 | Conference Paper | IST-REx-ID: 2947   OA
Chatterjee, Krishnendu, et al. Equivalence of Games with Probabilistic Uncertainty and Partial Observation Games. Vol. 7561, Springer, 2012, pp. 385–99, doi:10.1007/978-3-642-33386-6_30.
View | DOI | Download (ext.)
 
[123]
2012 | Conference Paper | IST-REx-ID: 3135   OA
Brázdil, Brázdil, et al. Efficient Controller Synthesis for Consumption Games with Multiple Resource Types. Vol. 7358, Springer, 2012, pp. 23–38, doi:10.1007/978-3-642-31424-7_8.
View | DOI | Download (ext.)
 
[122]
2012 | Journal Article | IST-REx-ID: 3128   OA
Chatterjee, Krishnendu, et al. “A Survey of Partial-Observation Stochastic Parity Games.” Formal Methods in System Design, vol. 43, no. 2, Springer, 2012, pp. 268–84, doi:10.1007/s10703-012-0164-2.
View | Files available | DOI
 
[121]
2012 | Conference Paper | IST-REx-ID: 3255
Chatterjee, Krishnendu, and Laurent Doyen. Games and Markov Decision Processes with Mean Payoff Parity and Energy Parity Objectives. Vol. 7119, Springer, 2012, pp. 37–46, doi:10.1007/978-3-642-25929-6_3.
View | DOI
 
[120]
2011 | Conference Paper | IST-REx-ID: 3357
Chatterjee, Krishnendu, et al. The Complexity of Request-Response Games. Edited by Adrian-Horia Dediu et al., vol. 6638, Springer, 2011, pp. 227–37, doi:10.1007/978-3-642-21254-3_17.
View | DOI
 
[119]
2011 | Conference Paper | IST-REx-ID: 3345
Chatterjee, Krishnendu, and Laurent Doyen. Energy and Mean-Payoff Parity Markov Decision Processes. Vol. 6907, Springer, 2011, pp. 206–18, doi:10.1007/978-3-642-22993-0_21.
View | Files available | DOI | Download (ext.) | arXiv
 
[118]
2011 | Technical Report | IST-REx-ID: 5384   OA
Chatterjee, Krishnendu, and Mathieu Tracol. Decidable Problems for Probabilistic Automata on Infinite Words. IST Austria, 2011, doi:10.15479/AT:IST-2011-0004.
View | Files available | DOI
 
[117]
2011 | Journal Article | IST-REx-ID: 3338
Chatterjee, Krishnendu. “Bounded Rationality in Concurrent Parity Games.” CoRR: Computing Research Repository, ArXiv, 2011, pp. 1–51.
View | Files available | Download (ext.) | arXiv
 
[116]
2011 | Conference Paper | IST-REx-ID: 3346   OA
Brázdil, Tomáš, et al. Two Views on Multiple Mean Payoff Objectives in Markov Decision Processes. 5970225, IEEE, 2011, doi:10.1109/LICS.2011.10.
View | DOI | Download (ext.)
 
[115]
2011 | Journal Article | IST-REx-ID: 3339   OA
Chatterjee, Krishnendu, et al. “Magnifying Lens Abstraction for Stochastic Games with Discounted and Long-Run Average Objectives.” CoRR: Computing Research Repository, ArXiv, 2011.
View | Download (ext.) | arXiv
 
[114]
2011 | Conference Paper | IST-REx-ID: 3365   OA
Chatterjee, Krishnendu, et al. QUASY: Quantitative Synthesis Tool. Vol. 6605, Springer, 2011, pp. 267–71, doi:10.1007/978-3-642-19835-9_24.
View | Files available | DOI
 
[113]
2011 | Journal Article | IST-REx-ID: 3315
Chatterjee, Krishnendu, et al. “Timed Parity Games: Complexity and Robustness.” Logical Methods in Computer Science, vol. 7, no. 4, International Federation of Computational Logic, 2011, doi:10.2168/LMCS-7(4:8)2011.
View | Files available | DOI
 
[112]
2011 | Technical Report | IST-REx-ID: 5380   OA
Chatterjee, Krishnendu. Bounded Rationality in Concurrent Parity Games. IST Austria, 2011, doi:10.15479/AT:IST-2011-0008.
View | Files available | DOI
 
[111]
2011 | Technical Report | IST-REx-ID: 5385   OA
Boker, Udi, et al. Temporal Specifications with Accumulative Values. IST Austria, 2011, doi:10.15479/AT:IST-2011-0003.
View | Files available | DOI
 
[110]
2011 | Conference Paper | IST-REx-ID: 3347   OA
Chatterjee, Krishnendu, and Nathanaël Fijalkow. Finitary Languages. Edited by Adrian-Horia Dediu et al., vol. 6638, Springer, 2011, pp. 216–26, doi:10.1007/978-3-642-21254-3_16.
View | DOI | Download (ext.)
 
[109]
2011 | Conference Paper | IST-REx-ID: 3342   OA
Chatterjee, Krishnendu, et al. Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives. Edited by Ganesh Gopalakrishnan and Shaz Qadeer, vol. 6806, Springer, 2011, pp. 260–76, doi:10.1007/978-3-642-22110-1_21.
View | DOI | Download (ext.) | arXiv
 
[108]
2011 | Journal Article | IST-REx-ID: 3354
Chatterjee, Krishnendu, et al. “Qualitative Concurrent Parity Games.” ACM Transactions on Computational Logic (TOCL), vol. 12, no. 4, 28, ACM, 2011, doi:10.1145/1970398.1970404.
View | Files available | DOI
 
[107]
2011 | Conference Paper | IST-REx-ID: 3316
Bloem, Roderick, et al. Specification-Centered Robustness. IEEE, 2011, pp. 176–85, doi:10.1109/SIES.2011.5953660.
View | DOI
 
[106]
2011 | Conference Paper | IST-REx-ID: 3361   OA
Cerny, Pavol, et al. The Complexity of Quantitative Information Flow Problems. IEEE, 2011, pp. 205–17, doi:10.1109/CSF.2011.21.
View | Files available | DOI
 
[105]
2011 | Technical Report | IST-REx-ID: 5381   OA
Chatterjee, Krishnendu, and Laurent Doyen. Partial-Observation Stochastic Games: How to Win When Belief Fails. IST Austria, 2011, doi:10.15479/AT:IST-2011-0007.
View | Files available | DOI
 
[104]
2011 | Technical Report | IST-REx-ID: 5379   OA
Chatterjee, Krishnendu, and Monika Henzinger. An O(N2) Time Algorithm for Alternating Büchi Games. IST Austria, 2011, doi:10.15479/AT:IST-2011-0009.
View | Files available | DOI
 
[103]
2011 | Conference Paper | IST-REx-ID: 3366
Cerny, Pavol, et al. Quantitative Synthesis for Concurrent Programs. Edited by Ganesh Gopalakrishnan and Shaz Qadeer, vol. 6806, Springer, 2011, pp. 243–59, doi:10.1007/978-3-642-22110-1_20 .
View | Files available | DOI
 
[102]
2011 | Conference Paper | IST-REx-ID: 3348   OA
Chatterjee, Krishnendu, and Vinayak Prabhu. Synthesis of Memory Efficient Real Time Controllers for Safety Objectives. Springer, 2011, pp. 221–30, doi:10.1145/1967701.1967734.
View | DOI | Download (ext.)
 
[101]
2011 | Conference Paper | IST-REx-ID: 3350
Chatterjee, Krishnendu, and Ritankar Majumdar. Minimum Attention Controller Synthesis for Omega Regular Objectives. Edited by Uli Fahrenberg and Stavros Tripakis, vol. 6919, Springer, 2011, pp. 145–59, doi:10.1007/978-3-642-24310-3_11.
View | DOI
 
[100]
2011 | Conference Paper | IST-REx-ID: 3343   OA
Chatterjee, Krishnendu, and Monika Henzinger. Faster and Dynamic Algorithms for Maximal End Component Decomposition and Related Graph Problems in Probabilistic Verification. SIAM, 2011, pp. 1318–36, doi:10.1137/1.9781611973082.101.
View | DOI | Download (ext.)
 
[99]
2011 | Technical Report | IST-REx-ID: 5382   OA
Chatterjee, Krishnendu. Robustness of Structurally Equivalent Concurrent Parity Games. IST Austria, 2011, doi:10.15479/AT:IST-2011-0006.
View | Files available | DOI
 
[98]
2011 | Technical Report | IST-REx-ID: 5387   OA
Chatterjee, Krishnendu, and Laurent Doyen. Energy and Mean-Payoff Parity Markov Decision Processes. IST Austria, 2011, doi:10.15479/AT:IST-2011-0001.
View | Files available | DOI
 
[97]
2011 | Preprint | IST-REx-ID: 3363   OA
Chatterjee, Krishnendu, et al. The Decidability Frontier for Probabilistic Automata on Infinite Words. ArXiv.
View | Download (ext.) | arXiv
 
[96]
2011 | Conference Paper | IST-REx-ID: 3349   OA
Chatterjee, Krishnendu, and Nathanaël Fijalkow. A Reduction from Parity Games to Simple Stochastic Games. Vol. 54, EPTCS, 2011, pp. 74–86, doi:10.4204/EPTCS.54.6.
View | DOI | Download (ext.)
 
[95]
2011 | Conference Paper | IST-REx-ID: 3351   OA
Chatterjee, Krishnendu, et al. On Memoryless Quantitative Objectives. Edited by Olaf Owe et al., vol. 6914, Springer, 2011, pp. 148–59, doi:10.1007/978-3-642-22953-4_13.
View | DOI | Download (ext.)
 
[94]
2011 | Conference Paper | IST-REx-ID: 3344
Chatterjee, Krishnendu. Graph Games with Reachability Objectives. Edited by Giorgo Delzanno and Igor Potapov, vol. 6945, Springer, 2011, pp. 1–1, doi:10.1007/978-3-642-24288-5_1.
View | DOI
 
[93]
2011 | Conference Paper | IST-REx-ID: 3356
Boker, Udi, et al. Temporal Specifications with Accumulative Values. 5970226, IEEE, 2011, doi:10.1109/LICS.2011.33.
View | Files available | DOI
 
[92]
2010 | Conference Paper | IST-REx-ID: 3852   OA
Chatterjee, Krishnendu, and Ritankar Majumdar. Discounting in Games across Time Scales. Vol. 25, EPTCS, 2010, pp. 22–29, doi:10.4204/EPTCS.25.6.
View | Files available | DOI | Download (ext.) | arXiv
 
[91]
2010 | Conference Paper | IST-REx-ID: 3864   OA
Chatterjee, Krishnendu, et al. Measuring and Synthesizing Systems in Probabilistic Environments. Vol. 6174, Springer, 2010, pp. 380–95, doi:10.1007/978-3-642-14295-6_34.
View | Files available | DOI | Download (ext.)
 
[90]
2010 | Conference Paper | IST-REx-ID: 3857
Chatterjee, Krishnendu, and Thomas A. Henzinger. Probabilistic Automata on Infinite Words: Decidability and Undecidability Results. Vol. 6252, Springer, 2010, pp. 1–16, doi:10.1007/978-3-642-15643-4_1.
View | Files available | DOI
 
[89]
2010 | Conference Paper | IST-REx-ID: 3853   OA
Chatterjee, Krishnendu, et al. Mean-Payoff Automaton Expressions. Vol. 6269, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 269–83, doi:10.1007/978-3-642-15375-4_19.
View | Files available | DOI
 
[88]
2010 | Conference Paper | IST-REx-ID: 3858
Chatterjee, Krishnendu, and Laurent Doyen. The Complexity of Partial-Observation Parity Games. Edited by Christian Fermüller and Andrei Voronkov, vol. 6397, Springer, 2010, pp. 1–14, doi:10.1007/978-3-642-16242-8_1.
View | DOI
 
[87]
2010 | Conference Paper | IST-REx-ID: 3865
Chatterjee, Krishnendu, et al. Analyzing the Impact of Change in Multi-Threaded Programs. Edited by David Rosenblum and Gabriele Taenzer, vol. 6013, Springer, 2010, pp. 293–307, doi:10.1007/978-3-642-12029-9_21.
View | DOI
 
[86]
2010 | Conference Paper | IST-REx-ID: 3860   OA
Chatterjee, Krishnendu, et al. Generalized Mean-Payoff and Energy Games. Vol. 8, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 505–16, doi:10.4230/LIPIcs.FSTTCS.2010.505.
View | Files available | DOI
 
[85]
2010 | Conference Paper | IST-REx-ID: 3854
Chatterjee, Krishnendu, et al. Obliging Games. Vol. 6269, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 284–96, doi:10.1007/978-3-642-15375-4_20.
View | DOI
 
[84]
2010 | Conference Paper | IST-REx-ID: 3866   OA
Bloem, Roderick, et al. Robustness in the Presence of Liveness. Edited by Tayssir Touili et al., vol. 6174, Springer, 2010, pp. 410–24, doi:10.1007/978-3-642-14295-6_36.
View | Files available | DOI
 
[83]
2010 | Journal Article | IST-REx-ID: 3861
Chatterjee, Krishnendu, et al. “Strategy Logic.” Information and Computation, vol. 208, no. 6, Elsevier, 2010, pp. 677–93, doi:10.1016/j.ic.2009.07.004.
View | Files available | DOI
 
[82]
2010 | Conference (Editor) | IST-REx-ID: 3859
Chatterjee, Krishnendu, and Thomas A. Henzinger, editors. FORMATS: Formal Modeling and Analysis of Timed Systems. Vol. 6246, Springer, 2010, doi:10.1007/978-3-642-15297-9.
View | DOI
 
[81]
2010 | Conference Paper | IST-REx-ID: 4388
Chatterjee, Krishnendu, et al. GIST: A Solver for Probabilistic Games. Vol. 6174, Springer, 2010, pp. 665–69, doi:10.1007/978-3-642-14295-6_57.
View | Files available | DOI | Download (ext.) | arXiv
 
[80]
2010 | Journal Article | IST-REx-ID: 3862   OA
Chatterjee, Krishnendu, et al. “Quantitative Languages.” ACM Transactions on Computational Logic (TOCL), vol. 11, no. 4, ACM, 2010, p. 23, doi:10.1145/1805950.1805953.
View | Files available | DOI
 
[79]
2010 | Conference Paper | IST-REx-ID: 3855
Chatterjee, Krishnendu, et al. Qualitative Analysis of Partially-Observable Markov Decision Processes. Vol. 6281, Springer, 2010, pp. 258–69, doi:10.1007/978-3-642-15155-2_24.
View | Files available | DOI
 
[78]
2010 | Journal Article | IST-REx-ID: 3867
Chatterjee, Krishnendu, et al. “Expressiveness and Closure Properties for Quantitative Languages.” Logical Methods in Computer Science, vol. 6, no. 3, International Federation of Computational Logic, 2010, pp. 1–23, doi:10.2168/LMCS-6(3:10)2010.
View | Files available | DOI
 
[77]
2010 | Conference Paper | IST-REx-ID: 3851   OA
Chatterjee, Krishnendu, and Laurent Doyen. Energy Parity Games. Vol. 6199, Springer, 2010, pp. 599–610, doi:10.1007/978-3-642-14162-1_50.
View | DOI | Download (ext.) | arXiv
 
[76]
2010 | Conference Paper | IST-REx-ID: 3856   OA
Chatterjee, Krishnendu, et al. Randomness for Free. Vol. 6281, Springer, 2010, pp. 246–57, doi:10.1007/978-3-642-15155-2_23.
View | Files available | DOI | Download (ext.)
 
[75]
2010 | Journal Article | IST-REx-ID: 3868   OA
Chatterjee, Krishnendu, et al. “Algorithms for Game Metrics.” Logical Methods in Computer Science, vol. 6, no. 3, International Federation of Computational Logic, 2010, pp. 1–27, doi:10.2168/LMCS-6(3:13)2010.
View | Files available | DOI
 
[74]
2010 | Journal Article | IST-REx-ID: 3863
Berwanger, Dietmar, et al. “Strategy Construction for Parity Games with Imperfect Information.” Information and Computation, vol. 208, no. 10, Elsevier, 2010, pp. 1206–20, doi:10.1016/j.ic.2009.09.006.
View | Files available | DOI
 
[73]
2010 | Technical Report | IST-REx-ID: 5388   OA
Chatterjee, Krishnendu, et al. Quantitative Synthesis for Concurrent Programs. IST Austria, 2010, doi:10.15479/AT:IST-2010-0004.
View | Files available | DOI
 
[72]
2010 | Technical Report | IST-REx-ID: 5390   OA
Chatterjee, Krishnendu, and Nathanaël Fijalkow. Topological, Automata-Theoretic and Logical Characterization of Finitary Languages. IST Austria, 2010, doi:10.15479/AT:IST-2010-0002.
View | Files available | DOI
 
[71]
2009 | Journal Article | IST-REx-ID: 3869
Chatterjee, Krishnendu, et al. “Qualitative Logics and Equivalences for Probabilistic Systems.” Logical Methods in Computer Science, vol. 5, no. 2, International Federation of Computational Logic, 2009, doi:10.2168/LMCS-5(2:7)2009.
View | DOI
 
[70]
2009 | Conference Paper | IST-REx-ID: 3871   OA
Chatterjee, Krishnendu, et al. Probabilistic Weighted Automata. Vol. 5710, Springer, 2009, pp. 244–58, doi:10.1007/978-3-642-04081-8_17.
View | Files available | DOI
 
[69]
2009 | Conference Paper | IST-REx-ID: 4545   OA
Chatterjee, Krishnendu, et al. A Survey of Stochastic Games with Limsup and Liminf Objectives. Vol. 5556, Springer, 2009, pp. 1–15, doi:10.1007/978-3-642-02930-1_1.
View | Files available | DOI
 
[68]
2009 | Conference Paper | IST-REx-ID: 4569   OA
Bloem, Roderick, et al. Better Quality in Synthesis through Quantitative Objectives. Vol. 5643, Springer, 2009, pp. 140–56, doi:10.1007/978-3-642-02658-4_14.
View | DOI | Download (ext.) | arXiv
 
[67]
2009 | Conference Paper | IST-REx-ID: 4540
Chatterjee, Krishnendu, et al. Expressiveness and Closure Properties for Quantitative Languages. IEEE, 2009, pp. 199–208, doi:10.1109/LICS.2009.16.
View | Files available | DOI
 
[66]
2009 | Technical Report | IST-REx-ID: 5392   OA
Chatterjee, Krishnendu. Probabilistic Automata on Infinite Words: Decidability and Undecidability Results. IST Austria, 2009, doi:10.15479/AT:IST-2009-0004.
View | Files available | DOI
 
[65]
2009 | Conference Paper | IST-REx-ID: 4580   OA
Berwanger, Dietmar, et al. Alpaga: A Tool for Solving Parity Games with Imperfect Information. Vol. 5505, Springer, 2009, pp. 58–61, doi:10.1007/978-3-642-00768-2_7.
View | Files available | DOI | Download (ext.)
 
[64]
2009 | Conference Paper | IST-REx-ID: 4542   OA
Chatterjee, Krishnendu, et al. Alternating Weighted Automata. Vol. 5699, Springer, 2009, pp. 3–13, doi:10.1007/978-3-642-03409-1_2.
View | Files available | DOI
 
[63]
2009 | Technical Report | IST-REx-ID: 5393   OA
Chatterjee, Krishnendu, et al. Gist: A Solver for Probabilistic Games. IST Austria, 2009, doi:10.15479/AT:IST-2009-0003.
View | Files available | DOI
 
[62]
2009 | Conference Paper | IST-REx-ID: 4543
Chatterjee, Krishnendu, et al. Stochastic Games with Finitary Objectives. Vol. 5734, Springer, 2009, pp. 34–54, doi:10.1007/978-3-642-03816-7_4.
View | DOI
 
[61]
2009 | Technical Report | IST-REx-ID: 5394   OA
Chatterjee, Krishnendu, et al. Improved Lower Bounds for Request-Response and Finitary Streett Games. IST Austria, 2009, doi:10.15479/AT:IST-2009-0002.
View | Files available | DOI
 
[60]
2009 | Conference Paper | IST-REx-ID: 3503   OA
Chatterjee, Krishnendu, and Thomas A. Henzinger. Probabilistic Systems with Limsup and Liminf Objectives. Vol. 5489, Springer, 2009, pp. 32–45, doi:10.1007/978-3-642-03092-5_4.
View | DOI | Download (ext.)
 
[59]
2009 | Journal Article | IST-REx-ID: 3870   OA
Chatterjee, Krishnendu, et al. “Finitary Winning in Omega-Regular Games.” ACM Transactions on Computational Logic (TOCL), vol. 11, no. 1, 1, ACM, 2009, doi:10.1145/1614431.1614432.
View | Files available | DOI
 
[58]
2009 | Conference Paper | IST-REx-ID: 4544   OA
Chatterjee, Krishnendu, et al. Termination Criteria for Solving Concurrent Safety and Reachability Games. SIAM, 2009, pp. 197–206, doi:10.1137/1.9781611973068.23.
View | Files available | DOI | Download (ext.)
 
[57]
2009 | Technical Report | IST-REx-ID: 5395   OA
Chatterjee, Krishnendu, et al. Qualitative Analysis of Partially-Observable Markov Decision Processes. IST Austria, 2009, doi:10.15479/AT:IST-2009-0001.
View | Files available | DOI
 
[56]
2008 | Conference Paper | IST-REx-ID: 3876
Chatterjee, Krishnendu, et al. Timed Parity Games: Complexity and Robustness. Vol. 5215, Springer, 2008, pp. 124–40, doi:10.1007/978-3-540-85778-5_10.
View | Files available | DOI
 
[55]
2008 | Conference Paper | IST-REx-ID: 3504
Chatterjee, Krishnendu, et al. Algorithms for Game Metrics. Vol. 2, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 107–18, doi:10.4230/LIPIcs.FSTTCS.2008.1745.
View | Files available | DOI
 
[54]
2008 | Conference Paper | IST-REx-ID: 3877
Chatterjee, Krishnendu, et al. Environment Assumptions for Synthesis. Vol. 5201, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 147–61, doi:10.1007/978-3-540-85361-9_14.
View | DOI
 
[53]
2008 | Book Chapter | IST-REx-ID: 3872
Chatterjee, Krishnendu, and Thomas A. Henzinger. “Value Iteration.” 25 Years in Model Checking, vol. 5000, Springer, 2008, pp. 107–38, doi:10.1007/978-3-540-69850-0_7.
View | DOI
 
[52]
2008 | Journal Article | IST-REx-ID: 4534
Chatterjee, Krishnendu, and Thomas A. Henzinger. “Reduction of Stochastic Parity to Stochastic Mean-Payoff Games.” Information Processing Letters, vol. 106, no. 1, Elsevier, 2008, pp. 1–7, doi:10.1016/j.ipl.2007.08.035.
View | DOI | Download (ext.)
 
[51]
2008 | Conference Paper | IST-REx-ID: 4546
Chatterjee, Krishnendu, et al. Logical Reliability of Interacting Real-Time Tasks. IEEE, 2008, pp. 909–14, doi:10.1145/1403375.1403595.
View | DOI | Download (ext.)
 
[50]
2008 | Conference Paper | IST-REx-ID: 3501
Adler, B. Thomas, et al. Assigning Trust to Wikipedia Content. ACM, 2008, doi:10.1145/1822258.1822293.
View | DOI
 
[49]
2008 | Conference Paper | IST-REx-ID: 3873
Chatterjee, Krishnendu, et al. Controller Synthesis with Budget Constraints. Vol. 4981, Springer, 2008, pp. 72–86, doi:DOI: 10.1007/978-3-540-78929-1_6.
View | DOI
 
[48]
2008 | Conference Paper | IST-REx-ID: 3878   OA
Chatterjee, Krishnendu, et al. The Complexity of Coverage. Vol. 5356, Springer, 2008, pp. 91–106, doi:10.1007/978-3-540-89330-1_7.
View | DOI | Download (ext.)
 
[47]
2008 | Conference Paper | IST-REx-ID: 3880
Berwanger, Dietmar, et al. Strategy Construction for Parity Games with Imperfect Information. Vol. 5201, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 325–39, doi:10.1007/978-3-540-85361-9.
View | Files available | DOI
 
[46]
2008 | Conference Paper | IST-REx-ID: 3502
Chatterjee, Krishnendu, et al. Robust Content-Driven Reputation. ACM, 2008, pp. 33–42, doi:10.1145/1456377.1456387 .
View | DOI
 
[45]
2008 | Conference Paper | IST-REx-ID: 3874
Chatterjee, Krishnendu, et al. Trading Infinite Memory for Uniform Randomness in Timed Games. Vol. 4981, Springer, 2008, pp. 87–100, doi:10.1007/978-3-540-78929-1_7.
View | DOI
 
[44]
2008 | Conference Paper | IST-REx-ID: 3879
Chatterjee, Krishnendu, et al. Quantitative Languages. Vol. 5213, Springer, 2008, pp. 385–400, doi:10.1007/978-3-540-87531-4_28.
View | DOI
 
[43]
2008 | Journal Article | IST-REx-ID: 4548
Chatterjee, Krishnendu, et al. “Stochastic Limit-Average Games Are in EXPTIME.” International Journal of Game Theory, vol. 37, no. 2, Springer, 2008, pp. 219–34, doi:10.1007/s00182-007-0110-5.
View | DOI | Download (ext.)
 
[42]
2008 | Conference Paper | IST-REx-ID: 3875
Chatterjee, Krishnendu, et al. Model-Checking Omega-Regular Properties of Interval Markov Chains. Vol. 4962, Springer, 2008, pp. 302–17, doi:10.1007/978-3-540-78499-9_22.
View | DOI
 
[41]
2007 | Conference Paper | IST-REx-ID: 3883
Chatterjee, Krishnendu, et al. Generalized Parity Games. Vol. 4423, Springer, 2007, pp. 153–67, doi:10.1007/978-3-540-71389-0_12.
View | DOI
 
[40]
2007 | Conference Paper | IST-REx-ID: 3884
Chatterjee, Krishnendu, et al. Strategy Logic. Vol. 4703, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 59–73, doi:10.1007/978-3-540-74407-8_5.
View | Files available | DOI
 
[39]
2007 | Conference Paper | IST-REx-ID: 3885
Chatterjee, Krishnendu. Optimal Strategy Synthesis in Stochastic Müller Games. Vol. 4423, Springer, 2007, pp. 138–52, doi:10.1007/978-3-540-71389-0_11.
View | DOI
 
[38]
2007 | Journal Article | IST-REx-ID: 4547
Chatterjee, Krishnendu, et al. “Algorithms for Omega-Regular Games with Imperfect Information.” Logical Methods in Computer Science, vol. 3, no. 184, International Federation of Computational Logic, 2007, pp. 1–23, doi:10.2168/LMCS-3(3:4)2007.
View | DOI
 
[37]
2007 | Thesis | IST-REx-ID: 4559
Chatterjee, Krishnendu. Stochastic ω-Regular Games. University of California, Berkeley, 2007, pp. 1–247.
View | Download (ext.)
 
[36]
2007 | Conference Paper | IST-REx-ID: 3886
Chatterjee, Krishnendu. Stochastic Müller Games Are PSPACE-Complete. Vol. 4855, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 436–48, doi:10.1007/978-3-540-77050-3_36.
View | DOI
 
[35]
2007 | Conference Paper | IST-REx-ID: 3881
De Alfaro, Luca, et al. Qualitative Logics and Equivalences for Probabilistic Systems. IEEE, 2007, pp. 237–48, doi:10.1109/QEST.2007.15.
View | DOI
 
[34]
2007 | Conference Paper | IST-REx-ID: 3887
Chatterjee, Krishnendu. Markov Decision Processes with Multiple Long-Run Average Objectives. Vol. 4855, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 473–84, doi:10.1007/978-3-540-77050-3_39.
View | DOI
 
[33]
2007 | Journal Article | IST-REx-ID: 3882
Chatterjee, Krishnendu. “Concurrent Games with Tail Objectives.” Theoretical Computer Science, vol. 388, no. 1–3, Elsevier, 2007, pp. 181–98, doi:10.1016/j.tcs.2007.07.047.
View | DOI
 
[32]
2007 | Conference Paper | IST-REx-ID: 4537
Chatterjee, Krishnendu, and Thomas A. Henzinger. Assume-Guarantee Synthesis. Vol. 4424, Springer, 2007, pp. 261–75, doi:10.1007/978-3-540-71209-1_21.
View | DOI
 
[31]
2006 | Conference Paper | IST-REx-ID: 3888
Chatterjee, Krishnendu, and Thomas A. Henzinger. Strategy Improvement for Stochastic Rabin and Streett Games. Vol. 4137, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2006, pp. 375–89, doi:10.1007/11817949_25.
View | DOI
 
[30]
2006 | Conference Paper | IST-REx-ID: 3890
Chatterjee, Krishnendu, et al. The Complexity of Quantitative Concurrent Parity Games. SIAM, 2006, pp. 678–87, doi:10.1145/1109557.1109631.
View | DOI
 
[29]
2006 | Conference Paper | IST-REx-ID: 4552
Chatterjee, Krishnendu, et al. Strategy Improvement for Concurrent Reachability Games. IEEE, 2006, pp. 291–300, doi:10.1109/QEST.2006.48.
View | DOI
 
[28]
2006 | Conference Paper | IST-REx-ID: 4538
Chatterjee, Krishnendu, and Thomas A. Henzinger. Strategy Improvement and Randomized Subexponential Algorithms for Stochastic Parity Games. Vol. 3884, Springer, 2006, pp. 512–23, doi:10.1007/11672142_42.
View | DOI
 
[27]
2006 | Conference Paper | IST-REx-ID: 3500
Chatterjee, Krishnendu, et al. Algorithms for Büchi Games. ACM, 2006.
View | Download (ext.)
 
[26]
2006 | Conference Paper | IST-REx-ID: 3889
Chatterjee, Krishnendu, et al. Algorithms for Omega-Regular Games with Imperfect Information. Vol. 4207, Springer, 2006, pp. 287–302, doi:10.1007/11874683_19.
View | DOI
 
[25]
2006 | Conference Paper | IST-REx-ID: 3891
Chatterjee, Krishnendu. Concurrent Games with Tail Objectives. Vol. 4207, Springer, 2006, pp. 256–70, doi:10.1007/11874683_17.
View | DOI
 
[24]
2006 | Conference Paper | IST-REx-ID: 4539
Chatterjee, Krishnendu, and Thomas A. Henzinger. Finitary Winning in Omega-Regular Games. Vol. 3920, Springer, 2006, pp. 257–71, doi:10.1007/11691372_17.
View | DOI
 
[23]
2006 | Conference Paper | IST-REx-ID: 3449
Chatterjee, Krishnendu, et al. Games for Controls. IEEE, 2006, pp. 70–82, doi:10.1109/CSFW.2006.14.
View | DOI
 
[22]
2006 | Conference Paper | IST-REx-ID: 3499
Chatterjee, Krishnendu. Nash Equilibrium for Upward-Closed Objectives. Vol. 4207, Springer, 2006, pp. 271–86, doi:10.1007/11874683_18.
View | DOI
 
[21]
2006 | Journal Article | IST-REx-ID: 4550
Chatterjee, Krishnendu, et al. “Games with Secure Equilibria.” Theoretical Computer Science, vol. 365, no. 1–2, Elsevier, 2006, pp. 67–82, doi:10.1016/j.tcs.2006.07.032.
View | DOI
 
[20]
2006 | Conference Paper | IST-REx-ID: 4549
Chatterjee, Krishnendu, et al. Compositional Quantitative Reasoning. IEEE, 2006, pp. 179–88, doi:10.1109/QEST.2006.11.
View | DOI
 
[19]
2006 | Conference Paper | IST-REx-ID: 4551
Chatterjee, Krishnendu, et al. Markov Decision Processes with Multiple Objectives. Vol. 3884, Springer, 2006, pp. 325–36, doi:10.1007/11672142_26.
View | DOI
 
[18]
2005 | Conference Paper | IST-REx-ID: 4557
Chatterjee, Krishnendu, et al. Counterexample-Guided Planning. AUAI Press, 2005, pp. 104–11.
View | Download (ext.)
 
[17]
2005 | Conference Paper | IST-REx-ID: 3896
Chatterjee, Krishnendu, et al. Complexity of Compositional Model Checking of Computation Tree Logic on Simple Structures. Vol. 3326, Springer, 2005, pp. 89–102, doi:10.1007/978-3-540-30536-1_13.
View | DOI
 
[16]
2005 | Conference Paper | IST-REx-ID: 4541
Chatterjee, Krishnendu, and Thomas A. Henzinger. Semiperfect-Information Games. Vol. 3821, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2005, pp. 1–18, doi:10.1007/11590156_1.
View | DOI
 
[15]
2005 | Conference Paper | IST-REx-ID: 4553
Chatterjee, Krishnendu, et al. The Complexity of Stochastic Rabin and Streett Games. Vol. 3580, Springer, 2005, pp. 878–90, doi:10.1007/11523468_71.
View | DOI
 
[14]
2005 | Conference Paper | IST-REx-ID: 4560
Chakrabarti, Arindam, et al. Verifying Quantitative Properties Using Bound Functions. Vol. 3725, Springer, 2005, pp. 50–64, doi:10.1007/11560548_7.
View | DOI
 
[13]
2005 | Conference Paper | IST-REx-ID: 3892
Chatterjee, Krishnendu, et al. Games with Secure Equilibria. Vol. 3657, Springer, 2005, pp. 141–61, doi:10.1007/11561163_7.
View | DOI
 
[12]
2005 | Conference Paper | IST-REx-ID: 4554
Chatterjee, Krishnendu, et al. Mean-Payoff Parity Games. IEEE, 2005, pp. 178–87, doi:10.1109/LICS.2005.26.
View | DOI
 
[11]
2005 | Conference Paper | IST-REx-ID: 3893
Chatterjee, Krishnendu. Two-Player Nonzero-Sum ω-Regular Games. Vol. 3653, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2005, pp. 413–27, doi:10.1007/11539452_32.
View | DOI
 
[10]
2004 | Conference Paper | IST-REx-ID: 3895
Chatterjee, Krishnendu, et al. Games with Secure Equilibria. IEEE, 2004, pp. 160–69, doi:10.1109/LICS.2004.1319610.
View | DOI
 
[9]
2004 | Conference Paper | IST-REx-ID: 4558
Chatterjee, Krishnendu, et al. Quantitative Stochastic Parity Games. SIAM, 2004, pp. 121–30.
View
 
[8]
2004 | Conference Paper | IST-REx-ID: 4555
Chatterjee, Krishnendu, et al. Trading Memory for Randomness. IEEE, 2004, pp. 206–17, doi:10.1109/QEST.2004.10051.
View | DOI
 
[7]
2004 | Conference Paper | IST-REx-ID: 3894
Chatterjee, Krishnendu, et al. On Nash Equilibria in Stochastic Games. Vol. 3210, Springer, 2004, pp. 26–40, doi:10.1007/978-3-540-30124-0_6.
View | DOI
 
[6]
2004 | Journal Article | IST-REx-ID: 4556
Chatterjee, Krishnendu, et al. “Stack Size Analysis for Interrupt-Driven Programs.” Information and Computation, vol. 194, no. 2, Elsevier, 2004, pp. 144–74, doi:10.1016/j.ic.2004.06.001.
View | DOI
 
[5]
2003 | Journal Article | IST-REx-ID: 3593
Chatterjee, Krishnendu, et al. “A Branching Time Temporal Framework for Quantitative Reasoning.” Journal of Automated Reasoning, vol. 30, no. 2, Springer, 2003, pp. 205–32, doi:10.1023/A:1023217515688.
View | DOI
 
[4]
2003 | Conference Paper | IST-REx-ID: 3897
Chatterjee, Krishnendu, et al. Simple Stochastic Parity Games. Vol. 2803, Springer, 2003, pp. 100–13, doi:10.1007/978-3-540-45220-1_11.
View | DOI
 
[3]
2003 | Conference Paper | IST-REx-ID: 3898
Chatterjee, Krishnendu, et al. Stack Size Analysis for Interrupt-Driven Programs. Vol. 2694, Springer, 2003, pp. 109–26, doi:10.1007/3-540-44898-5_7.
View | DOI
 
[2]
2002 | Conference Paper | IST-REx-ID: 3448
Mallick, Sanhita, et al. Implementation of Shape Grammar for Plan Analysis. Elsevier, 2002.
View
 
[1]
2001 | Conference Paper | IST-REx-ID: 3447
Chatterjee, Krishnendu, et al. Weighted Quantified Computation Tree Logic. Elsevier, 2001.
View
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed