en
Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
331 Publications
2019 | Conference Paper | IST-REx-ID: 6887 
Chatterjee K, Dvorák W, Henzinger M, Svozil A. 2019. Near-linear time algorithms for Streett objectives in graphs and MDPs. Leibniz International Proceedings in Informatics. CONCUR: International Conference on Concurrency Theory, LIPIcs, vol. 140. 7.
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 6175
Wang P, Fu H, Goharshady AK, Chatterjee K, Qin X, Shi W. 2019. Cost analysis of nondeterministic probabilistic programs. 40th ACM Conference on Programming Language Design and Implementation (PLDI 2019). 40th ACM Conference on Programming Language Design and Implementation 204–220.
View
| Files available
| DOI
| arXiv
2019 | Conference Paper | IST-REx-ID: 6884
Avni G, Henzinger TA, Zikelic D. 2019. Bidding mechanisms in graph games. MFCS: nternational Symposium on Mathematical Foundations of Computer Science, LIPIcs, vol. 138. 11.
View
| Files available
| DOI
| arXiv
2019 | Conference Paper | IST-REx-ID: 6889
Chatterjee K, Piterman N. 2019. Combinations of Qualitative Winning for Stochastic Parity Games. CONCUR: International Conference on Concurrency Theory, LIPIcs, vol. 140. 6.
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 6942
Ashok P, Brázdil T, Chatterjee K, Křetínský J, Lampert C, Toman V. 2019. Strategy representation by decision trees with linear classifiers. 16th International Conference on Quantitative Evaluation of Systems. QEST: Quantitative Evaluation of Systems, LNCS, vol. 11785. 109–128.
View
| DOI
| Download (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 6380
Chatterjee K, Goharshady AK, Okati N, Pavlogiannis A. 2019. Efficient parameterized algorithms for data packing. Proceedings of the ACM on Programming Languages. 3(POPL), 53.
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 6378
Chatterjee K, Goharshady AK, Pourdamghani A. Hybrid Mining: Exploiting blockchain’s computational power for distributed problem solving. Proceedings of the 34th ACM Symposium on Applied Computing. ACM Symposium on Applied Computing vol. Part F147772. 374–381.
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 6462
Avni G, Bloem R, Chatterjee K, Henzinger TA, Konighofer B, Pranger S. 2019. Run-time optimization for learned controllers through quantitative games. 31st International Conference on Computer-Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 11561. 630–649.
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 6056
Chatterjee K, Goharshady AK, Pourdamghani A. 2019. Probabilistic smart contracts: Secure randomness on the blockchain. IEEE International Conference on Blockchain and Cryptocurrency. IEEE International Conference on Blockchain and Cryptocurrency 8751326.
View
| DOI
| Download (ext.)
| arXiv
2019 | Conference Paper | IST-REx-ID: 6885
Chatterjee K, Henzinger TA, Otop J. 2019. Long-run average behavior of vector addition systems with states. CONCUR: International Conference on Concurrency Theory, LIPIcs, vol. 140. 27.
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 6780
Huang M, Fu H, Chatterjee K, Goharshady AK. Modular verification for almost-sure termination of probabilistic programs. Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications . OOPSLA: Object-oriented Programming, Systems, Languages and Applications
View
| Files available
| Download (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 6836
Hauser OP, Hilbe C, Chatterjee K, Nowak MA. 2019. Social dilemmas among unequals. Nature. 572(7770), 524–527.
View
| Files available
| DOI
2018 | Conference Paper | IST-REx-ID: 143
Brázdil T, Chatterjee K, Kučera A, Novotny P, Velan D, Zuleger F. 2018. Efficient algorithms for asymptotic bounds on termination time in VASS. LICS: Logic in Computer Science, ACM/IEEE Symposium on Logic in Computer Science, vol. F138033. 185–194.
View
| DOI
| Download (ext.)
2018 | Journal Article | IST-REx-ID: 198
Ibsen-Jensen R, Tkadlec J, Chatterjee K, Nowak M. 2018. Language acquisition with communication between learners. Journal of the Royal Society Interface. 15(140).
View
| Files available
| DOI
2018 | Conference Paper | IST-REx-ID: 35
Chatterjee K, Dvorák W, Henzinger M, Svozil A. 2018. Algorithms and conditional lower bounds for planning problems. 28th International Conference on Automated Planning and Scheduling . ICAPS: International Conference on Automated Planning and Scheduling
View
| Download (ext.)
| arXiv
2018 | Conference Paper | IST-REx-ID: 66
Chatterjee K, Goharshady A, Ibsen-Jensen R, Velner Y. 2018. Ergodic mean-payoff games for the analysis of attacks in crypto-currencies. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 118. 11.
View
| Files available
| DOI
| Download (ext.)
| arXiv