Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Krishnendu Chatterjee
Optimal Dyck Reachability for Data-Dependence and Alias Analysis
Proceedings of the ACM on Programming Languages
Decidable Problems for Probabilistic Automata on Infinite Words
Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes
Algorithms for Omega-Regular Games With Imperfect Information
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
A Survey of Stochastic Games With Limsup and Liminf Objectives
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verifying Quantitative Properties Using Bound Functions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Markov Decision Processes With Multiple Long-Run Average Objectives
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Controller Synthesis With Budget Constraints
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Two-Player Nonzero-Sum Omega-Regular Games
Algorithms for Stochastic Parity Games
‹
1
2
